HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Ada binding to OpenAL which tries to mimic original API while using Ada types.