ada-runtime

Search similar apps

    License

    GNU Affero General Public License v3.0

    Creator

    Componolit

    Related apps

    AZ3

    Ada binding to the Z3 Theorem Prover

    Ada6mit

    2 years ago

    Cappulada

    [DEPRECATED] Generate Ada bindings to C++ code

    Python14agpl-3.0

    4 years ago

    adabinding-generatorbindings

    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