The Google Protocol Buffers implementation in Ada
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
47,133 repositories indexed
1–2 of 2 · Most stars
The Google Protocol Buffers implementation in Ada
Formally verified implementation of the CoAP protocol in SPARK/Ada