Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

License

GNU Affero General Public License v3.0

[DEPRECATED] Generate Ada bindings to C++ code

Creator

Componolit

Related apps

ada-runtime

Ada33agpl-3.0

2 years ago

AZ3

Ada binding to the Z3 Theorem Prover

Ada6mit

2 years ago

gneiss

Framework for platform-independent SPARK components

Ada22agpl-3.0

4 years ago

adacomponent-basedembedded

jwx

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

Ada15agpl-3.0

4 years ago

adabase64jose

libsparkcrypto

A cryptographic library in SPARK 2014

Ada26

3 years ago

crypto-libraryformal-verification

RecordFlux

Formal specification and generation of verifiable binary parsers, message genera

Ada91agpl-3.0

last year

adabinary-parsercommunication-protocol

SXML

Formally verified, bounded-stack XML library

Ada19agpl-3.0

4 years ago

adaformal-methodsformal-verification