Ada binding to the Z3 Theorem Prover

Ada6mit

3 months ago

[DEPRECATED] Generate Ada bindings to C++ code

Python15agpl-3.0

5 years ago

adabinding-generatorbindings

Framework for platform-independent SPARK components

Ada22agpl-3.0

4 years ago

adacomponent-basedembedded

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

Ada17agpl-3.0

4 years ago

adabase64jose

Formally verified, bounded-stack XML library

Ada22agpl-3.0

4 years ago

adaformal-methodsformal-verification