Skip to content
@Componolit

AdaCore GmbH

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 18 1

  6. Cappulada Cappulada Public archive

    [DEPRECATED] Generate Ada bindings to C++ code

    Python 15 3

Repositories

Showing 10 of 38 repositories
  • AZ3 Public archive

    Ada binding to the Z3 Theorem Prover

    Ada 6 MIT 1 0 0 Updated Aug 11, 2024
  • basalt Public archive

    Collection of formally verified building blocks

    Ada 9 AGPL-3.0 0 6 0 Updated Dec 9, 2022
  • RecordFlux-specifications Public archive

    Specifications for RecordFlux

    Ada 5 AGPL-3.0 1 0 0 Updated Oct 5, 2022
  • gh-pages-deployment-experiment Public archive
    Makefile 0 0 0 0 Updated Aug 30, 2022
  • ada-runtime Public archive
    Ada 33 AGPL-3.0 4 8 0 Updated Aug 2, 2022
  • spdm-emu Public archive Forked from DMTF/spdm-emu
    C 0 52 0 0 Updated Jun 7, 2022
  • libspdm Public archive Forked from DMTF/libspdm
    C 0 110 0 0 Updated Jun 7, 2022
  • ada-style Public archive
    6 AGPL-3.0 0 0 0 Updated Jul 7, 2021
  • systematization-binary-vulnerabilities Public
    3 AGPL-3.0 0 76 0 Updated May 2, 2021
  • libsparkcrypto Public archive

    A cryptographic library in SPARK 2014

    Ada 28 3 0 0 Updated Jan 26, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…