GitHub repository: Componolit/RecordFlux
Primary language: Ada
Description: Formal specification and generation of verifiable binary parsers, message generators and protocol state machines