Skip to content
@Componolit

Componolit GmbH

Secure Systems Engineering

Pinned

  1. Formal message specification and generation of verifiable binary parsers and message generators

    Ada 73 3

  2. jwx Public

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

    Ada 16

  3. SXML Public

    Formally verified, bounded-stack XML library

    Ada 19 2

  4. gneiss Public

    Framework for platform-independent SPARK components

    Ada 21 2

Repositories

Top languages

Loading…

Most used topics

Loading…