Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Giza is trying to be a simple widget tool kit for embedded platforms
Raspberry Pi using a BBC Micro:Bit as temperature sensor