Server implementing the Microsoft Language Protocol for Ada and SPARK
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
The Google Protocol Buffers implementation in Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
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