HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Minimal binding to libdl