Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
libsodium for Ada - A secure cryptographic library
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada 2012 bindings for the Opus audio codec.
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet