AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
AdaApache-2.0
Stargazers
- alkhimey@Lightricks
- aogrcs
- artob@asimov-platform
- brendanzab@yeslogic
- chenyi852Germany
- Chris660United Kingdom
- cndys
- damaki@AdaCore
- dckc@agoric
- Fabien-Chouteau@AdaCore
- gregkrsakWashington, USA
- halsten
- hengestone
- jbendenPhoenix, AZ
- Jellix@HeisenbugLtd
- jhumphry
- jklmnn@AdaCore
- jquorningquornings
- jscparker
- KOLANICHKOLANICH inc.
- lifa123china
- MeinerI
- osamakhan
- osannolikSweden
- poroh
- quinotAlan
- salotz@examol-corp
- sam-bristowAuckland, New Zealand
- SchoolGuy@SUSE
- spanners
- stcarrezTwinlife/Skyrock
- timothyklim
- tobiasbrunner@codelabs-ch
- tralamazzaGermany
- treiher@AdaCore
- zertovitchSwitzerland (the country after Swaziland and Sweden)