Componolit GmbH

Repositories

• RecordFlux-specifications

  Specifications for RecordFlux
  Ada AGPL-3.0 1 3 19 3 Updated Mar 10, 2021

• RecordFlux

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

  parser spark formal-methods ada binary-parser formal-verification formal-specification
  Ada AGPL-3.0 4 55 116 0 Updated Mar 10, 2021

• RecordFlux-language
  Python AGPL-3.0 0 2 3 0 Updated Mar 10, 2021

• systematization-binary-vulnerabilities
  AGPL-3.0 0 1 75 0 Updated Feb 11, 2021

• ada-style
  AGPL-3.0 0 2 8 0 Updated Jan 28, 2021

• libsparkcrypto

  A cryptographic library in SPARK 2014

  crypto-library formal-verification
  Ada 1 24 3 0 Updated Jan 26, 2021

• AZ3

  Ada binding to the Z3 Theorem Prover
  Ada MIT 0 5 3 0 Updated Jan 20, 2021

• cbe

  Forked from cbe-project/cbe
  AGPL-3.0 6 1 0 0 Updated Oct 27, 2020

• jwx

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

  json jwt base64 spark jose jwt-token jwk
  Ada AGPL-3.0 0 16 2 0 Updated Oct 12, 2020

• systematization-session-vulnerabilities
  AGPL-3.0 0 0 2 0 Updated Sep 3, 2020

• gneiss

  Framework for platform-independent SPARK components

  embedded spark formal-methods ada formal-verification component-based
  Ada AGPL-3.0 3 16 29 0 Updated Aug 28, 2020

• ada-runtime
  Ada 2 30 6 0 Updated Aug 21, 2020

• github-action-cache

  Forked from davidsbond/cache

  Cache dependencies and build outputs in GitHub Actions
  TypeScript MIT 378 0 0 0 Updated Jun 25, 2020

• gravel

  Component library for components built with Gneiss
  Ada AGPL-3.0 0 2 1 0 Updated Jun 23, 2020

• 7-segment-driver

  Driver for 7 segment displays based on the STM32F0 Discovery board
  Ada AGPL-3.0 0 3 0 0 Updated Jun 11, 2020

• genode-componolit
  Makefile AGPL-3.0 0 0 0 0 Updated Jun 10, 2020

• message-sequence-formalization
  AGPL-3.0 0 0 50 0 Updated Jun 8, 2020

• basalt

  Collection of formally verified building blocks

  spark ada formal-verification
  Ada AGPL-3.0 0 6 4 0 Updated May 28, 2020

• SXML

  Formally verified, bounded-stack XML library

  parser spark xml formal-methods ada formal-verification
  Ada AGPL-3.0 2 14 6 0 Updated May 26, 2020

• sparkprof
  Python MIT 0 4 0 0 Updated May 26, 2020

• GreenTLS
  AGPL-3.0 0 3 7 0 Updated Mar 6, 2020

• alire-index

  Forked from alire-project/alire-index

  Community index for the Alire project
  GPL-3.0 23 0 0 0 Updated Mar 6, 2020

• systematization-related-work
  AGPL-3.0 0 0 21 0 Updated Mar 4, 2020

• systematization-tools
  AGPL-3.0 0 0 52 0 Updated Mar 3, 2020

• systematization-binary-formats
  AGPL-3.0 0 0 49 0 Updated Feb 13, 2020

• Workarounds

  Repository to track workarounds to be removed once an upstream solution is available
  AGPL-3.0 0 0 16 0 Updated Feb 13, 2020

• systematization-binary-schemas
  AGPL-3.0 0 0 58 0 Updated Feb 5, 2020

• docker-ci Archived

  CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux
  Dockerfile AGPL-3.0 1 0 0 0 Updated Feb 5, 2020

• Cappulada

  [DEPRECATED] Generate Ada bindings to C++ code

  cpp bindings ada binding-generator
  Python AGPL-3.0 2 10 32 0 Updated Dec 9, 2019

• aidl-cpp

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