Skip to content

@Componolit AdaCore GmbH

Change the repository type filter

All

    Repositories list

    38 repositories

    • AZ3

      Public archive
      Ada binding to the Z3 Theorem Prover
      Ada
      •
      MIT License
      •1•7•0•0•Updated Aug 11, 2024Aug 11, 2024

    • basalt

      Public archive
      Collection of formally verified building blocks
      sparkadaformal-verification
      Ada
      •
      GNU Affero General Public License v3.0
      •0•9•6•0•Updated Dec 9, 2022Dec 9, 2022

    • RecordFlux-specifications

      Public archive
      Specifications for RecordFlux
      Ada
      •
      GNU Affero General Public License v3.0
      •1•6•0•0•Updated Oct 5, 2022Oct 5, 2022

    • gh-pages-deployment-experiment

      Public archive
      Makefile
      •0•0•0•0•Updated Aug 30, 2022Aug 30, 2022

    • ada-runtime

      Public archive
      Ada
      •
      GNU Affero General Public License v3.0
      •4•34•8•0•Updated Aug 2, 2022Aug 2, 2022

    • spdm-emu

      Public archive
      C
      •
      Other
      •61•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • libspdm

      Public archive
      C
      •
      Other
      •141•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • ada-style

      Public archive
      GNU Affero General Public License v3.0
      •0•6•0•0•Updated Jul 7, 2021Jul 7, 2021

    • systematization-binary-vulnerabilities

      Public
      GNU Affero General Public License v3.0
      •0•3•76•0•Updated May 2, 2021May 2, 2021

    • libsparkcrypto

      Public archive
      A cryptographic library in SPARK 2014
      crypto-libraryformal-verification
      Ada
      •3•28•0•0•Updated Jan 26, 2021Jan 26, 2021

    • cbe

      Public archive
      GNU Affero General Public License v3.0
      •8•1•0•0•Updated Oct 27, 2020Oct 27, 2020

    • jwx

      Public archive
      JSON/JWK/JWS/JWT/Base64 library in SPARK
      jsonjwtbase64sparkjosejwt-tokenjwkjwsadajwt-authentication
      Ada
      •
      GNU Affero General Public License v3.0
      •1•19•0•0•Updated Oct 12, 2020Oct 12, 2020

    • systematization-session-vulnerabilities

      Public
      GNU Affero General Public License v3.0
      •0•0•2•0•Updated Sep 3, 2020Sep 3, 2020

    • gneiss

      Public archive
      Framework for platform-independent SPARK components
      embeddedsparkformal-methodsadaformal-verificationcomponent-based
      Ada
      •
      GNU Affero General Public License v3.0
      •2•24•29•0•Updated Aug 28, 2020Aug 28, 2020

    • github-action-cache

      Public archive
      Cache dependencies and build outputs in GitHub Actions
      TypeScript
      •
      MIT License
      •1.5k•0•0•0•Updated Jun 25, 2020Jun 25, 2020

    • gravel

      Public archive
      Component library for components built with Gneiss
      Ada
      •
      GNU Affero General Public License v3.0
      •0•2•0•0•Updated Jun 23, 2020Jun 23, 2020

    • 7-segment-driver

      Public archive
      Driver for 7 segment displays based on the STM32F0 Discovery board
      Ada
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Jun 11, 2020Jun 11, 2020

    • genode-componolit

      Public archive
      Makefile
      •
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Jun 10, 2020Jun 10, 2020

    • message-sequence-formalization

      Public archive
      GNU Affero General Public License v3.0
      •0•0•0•0•Updated Jun 8, 2020Jun 8, 2020

    • SXML

      Public archive
      Formally verified, bounded-stack XML library
      parsersparkxmlformal-methodsadaformal-verification
      Ada
      •
      GNU Affero General Public License v3.0
      •2•24•0•0•Updated May 26, 2020May 26, 2020

    • sparkprof

      Public archive
      Python
      •
      MIT License
      •0•4•0•0•Updated May 26, 2020May 26, 2020

    • systematization-related-work

      Public
      GNU Affero General Public License v3.0
      •0•0•23•0•Updated Mar 4, 2020Mar 4, 2020

    • systematization-tools

      Public
      GNU Affero General Public License v3.0
      •0•0•56•0•Updated Mar 3, 2020Mar 3, 2020

    • systematization-binary-formats

      Public
      GNU Affero General Public License v3.0
      •0•0•53•0•Updated Feb 13, 2020Feb 13, 2020

    • Workarounds

      Public archive
      Repository to track workarounds to be removed once an upstream solution is available
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Feb 13, 2020Feb 13, 2020

    • systematization-binary-schemas

      Public
      GNU Affero General Public License v3.0
      •0•0•59•0•Updated Feb 5, 2020Feb 5, 2020

    • docker-ci

      Public archive
      CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux
      Dockerfile
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Feb 5, 2020Feb 5, 2020

    • Cappulada

      Public archive
      [DEPRECATED] Generate Ada bindings to C++ code
      cppbindingsadabinding-generator
      Python
      •
      GNU Affero General Public License v3.0
      •3•16•32•0•Updated Dec 9, 2019Dec 9, 2019

    • aidl-cpp

      Public archive
      Androids C++ AIDL code generator for Linux
      Makefile
      •0•0•0•0•Updated Oct 17, 2019Oct 17, 2019

    • fizz

      Public archive
      C++14 implementation of the TLS-1.3 standard
      C++
      •
      Other
      •165•0•0•0•Updated Jun 13, 2019Jun 13, 2019