GeezerVison is showing github.com — AdaCore GmbH
Popular repositories
Loading
A cryptographic library in SPARK 2014
Ada
29
3
Formally verified, bounded-stack XML library
Ada
24
2
Framework for platform-independent SPARK components
Ada
24
3
JSON/JWK/JWS/JWT/Base64 library in SPARK
Ada
22
1
[DEPRECATED] Generate Ada bindings to C++ code
Python
17
4
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Ada
C
C++
Dockerfile
Lua
Makefile
Python
TypeScript
Sort
Showing 10 of 38 repositories
AZ3
Public archive
Ada binding to the Z3 Theorem Prover
Componolit/AZ3's past year of commit activity
Ada
7
MIT
1
0
0
Updated Aug 11, 2024
basalt
Public archive
Collection of formally verified building blocks
Componolit/basalt's past year of commit activity
Ada
9
AGPL-3.0
0
6
0
Updated Dec 9, 2022
Componolit/RecordFlux-specifications's past year of commit activity
Ada
6
AGPL-3.0
1
0
0
Updated Oct 5, 2022
Componolit/gh-pages-deployment-experiment's past year of commit activity
Makefile
0
0
0
0
Updated Aug 30, 2022
Componolit/ada-runtime's past year of commit activity
Ada
35
AGPL-3.0
4
8
0
Updated Aug 2, 2022
Componolit/spdm-emu's past year of commit activity
C
0
84
0
0
Updated Jun 7, 2022
Componolit/libspdm's past year of commit activity
C
0
173
0
0
Updated Jun 7, 2022
Componolit/ada-style's past year of commit activity
6
AGPL-3.0
0
0
0
Updated Jul 7, 2021
Componolit/systematization-binary-vulnerabilities's past year of commit activity
3
AGPL-3.0
0
76
0
Updated May 2, 2021
Componolit/libsparkcrypto's past year of commit activity
Ada
29
3
0
0
Updated Jan 26, 2021
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.