AdaCore GmbH

Popular repositories Loading

A cryptographic library in SPARK 2014

Ada 28 3
SXML SXML Public archive

Formally verified, bounded-stack XML library

Ada 24 2
gneiss gneiss Public archive

Framework for platform-independent SPARK components

Ada 24 2
jwx jwx Public archive

JSON/JWK/JWS/JWT/Base64 library in SPARK

Ada 20 1
[DEPRECATED] Generate Ada bindings to C++ code

Python 16 3

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
34
AGPL-3.0
4 8 0
Updated Aug 2, 2022
Componolit/spdm-emu’s past year of commit activity

C 0
66 0 0
Updated Jun 7, 2022
Componolit/libspdm’s past year of commit activity

C 0
145 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
28 3 0 0
Updated Jan 26, 2021