Server implementing the Microsoft Language Protocol for Ada and SPARK
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
The Google Protocol Buffers implementation in Ada
Language Server Protocol for Ada
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Simple Layer 3 Protocol