Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Repository Index
55,140 visible repositories in the index
1–2 of 2 · Most stars
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada