Componolit GmbH

Secure Systems Engineering

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

Ada 73 AGPL-3.0 3 171 0 Updated Jan 21, 2022
AZ3 Public
Ada binding to the Z3 Theorem Prover

Ada 5 MIT 0 5 0 Updated Jan 18, 2022
RecordFlux-parser Public

Python 2 AGPL-3.0 0 2 0 Updated Jan 12, 2022
RecordFlux-specifications Public
Specifications for RecordFlux

Ada 4 AGPL-3.0 1 20 0 Updated Dec 21, 2021
python-style Public

Python 1 AGPL-3.0 0 1 0 Updated Nov 23, 2021
spdm-emu Public

C 0 12 0 0 Updated Nov 10, 2021
libspdm Public

C 0 26 0 0 Updated Nov 8, 2021
ada-runtime Public

Ada 31 2 6 0 Updated Sep 29, 2021
basalt Public
Collection of formally verified building blocks

Ada 8 AGPL-3.0 0 5 0 Updated Jul 21, 2021
ada-style Public

5 AGPL-3.0 1 5 0 Updated Jul 7, 2021

Pinned