The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Repository Index
54,641 visible repositories in the index
1–3 of 3 · 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