HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
71,372 visible repositories in the index
1–12 of 12 · Most stars
Ada semantic analysis library.
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
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Ada binding for the Pebble Time smartwatch
libsodium for Ada - A secure cryptographic library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada finite-state machine generator.
Ada binding for liblzma compression library
- lzma
- ada
- compression
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Minimal binding to libdl