RecordFlux
AdaCore
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
129
Stars
10
Forks
10
Watchers
Ada
Language
apache-2.0
License
100
SrcLog Score
Growth over time
11 data points · 2021-08-01 → 2026-09-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about RecordFlux
Question copied to clipboardWhat is the AdaCore/RecordFlux GitHub project? Description: "Formal specification and generation of verifiable binary parsers, message generators and protocol state machines". Written in Ada. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone RecordFlux
Clone via HTTPS
git clone https://github.com/AdaCore/RecordFlux.git
Clone via SSH
[email protected]:AdaCore/RecordFlux.git
Download ZIP
Download main.zipFound an issue?
Report bugs or request features on the RecordFlux issue tracker:
Open GitHub Issues