AdaCore GmbH

ada-runtime

libsparkcrypto

A cryptographic library in SPARK 2014

gneiss

Framework for platform-independent SPARK components

SXML

Formally verified, bounded-stack XML library

jwx

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

Cappulada

[DEPRECATED] Generate Ada bindings to C++ code

basalt

Collection of formally verified building blocks

ada-style

AZ3

Ada binding to the Z3 Theorem Prover

RecordFlux-specifications

Specifications for RecordFlux

sparkprof

7-segment-driver

Driver for 7 segment displays based on the STM32F0 Discovery board

systematization-binary-vulnerabilities

gravel

Component library for components built with Gneiss

cbe

Workarounds

Repository to track workarounds to be removed once an upstream solution is available

aidl-cpp

Androids C++ AIDL code generator for Linux

alire-index

Community index for the Alire project

docker-ci

CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux

genode-componolit

gh-pages-deployment-experiment

github-action-cache

Cache dependencies and build outputs in GitHub Actions

libspdm

message-sequence-formalization

spdm-emu

systematization-binary-formats

systematization-binary-schemas

systematization-related-work

systematization-session-vulnerabilities

systematization-tools