HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada finite-state machine generator.