Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
A secure and high performances microkernel for building secure MCU-based IoTs
Apache Kafka Ada client library, based off of librdkafka
ada privilege escalation
SPARK TOTP library