PrototypeCommon
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
- Owner
- AdaCore (organization)
- Stars
- Stars: 131
- Forks
- Forks: 10
- Language
- Ada
- License
- Apache-2.0
- Created
- 2018
- Topics
- parserbinary-parseradasparkformal-verificationformal-specificationformal-methodscommunication-protocolprotocol-parserprotocol-specification
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AdaCore
All 11 repos by AdaCore- AdaCore/gnatstudioStars: 534AdaAlpha
- AdaCore/spark2014Stars: 332AdaAlpha
- AdaCore/ada_language_serverStars: 307AdaAlpha
- AdaCore/Ada_Drivers_LibraryStars: 287AdaAlpha
- AdaCore/gnat-llvmStars: 240AdaPrototype
- AdaCore/libadalangStars: 172AdaPrototype
Nearby in Ada
All Ada repos- AdaCore/awsStars: 163AdaPrototype
- rod-chapman/SPARKNaClStars: 139AdaPrototype
- ada-game-framework/sdladaStars: 135AdaPrototype
- joular/powerjoularStars: 122AdaPrototype
- Lucretia/tampStars: 116AdaPrototype
- AdaCore/learnStars: 116AdaPrototype