Skip to content

Popular repositories Loading

  1. ada-runtime ada-runtime Public archive

    Ada 33 4

  2. libsparkcrypto libsparkcrypto Public archive

    A cryptographic library in SPARK 2014

    Ada 27 3

  3. SXML SXML Public archive

    Formally verified, bounded-stack XML library

    Ada 22 2

  4. gneiss gneiss Public archive

    Framework for platform-independent SPARK components

    Ada 22 2

  5. jwx jwx Public archive

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

    Ada 17 1

  6. Cappulada Cappulada Public archive

    [DEPRECATED] Generate Ada bindings to C++ code

    Python 15 3

Repositories

Showing 10 of 38 repositories

Top languages

Loading…

Most used topics

Loading…