Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada bindings for the player robotic platform
Ada binding to OpenAL which tries to mimic original API while using Ada types.