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 28 3

3. SXML SXML Public archive

   Formally verified, bounded-stack XML library

   Ada 23 2

4. gneiss gneiss Public archive

   Framework for platform-independent SPARK components

   Ada 23 2

5. jwx jwx Public archive

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

   Ada 19 1

6. Cappulada Cappulada Public archive

   [DEPRECATED] Generate Ada bindings to C++ code

   Python 16 3