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 the SFML library
- ada
- binding
- sfml
- multimedia
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada bindings for the player robotic platform
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.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.