HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
76,855 visible repositories in the index
1–12 of 12 · 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
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
NBAda - An Ada library of lock-free data structures and algorithms.
Ada interface to the readline library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada finite-state machine generator.
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
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 wrapper for the fast Stachniss' Hungarian solver