PrototypeCommune
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
- Propriétaire
- AdaCore (organisation)
- Étoiles
- Étoiles : 131
- Forks
- Forks : 10
- Langage
- Ada
- Licence
- Apache-2.0
- Création
- 2018
- Sujets
- parserbinary-parseradasparkformal-verificationformal-specificationformal-methodscommunication-protocolprotocol-parserprotocol-specification
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de AdaCore
Les 11 dépôts de AdaCore- AdaCore/gnatstudioÉtoiles : 534AdaAlpha
- AdaCore/spark2014Étoiles : 332AdaAlpha
- AdaCore/ada_language_serverÉtoiles : 307AdaAlpha
- AdaCore/Ada_Drivers_LibraryÉtoiles : 287AdaAlpha
- AdaCore/gnat-llvmÉtoiles : 240AdaPrototype
- AdaCore/libadalangÉtoiles : 172AdaPrototype
D’autres dépôts Ada
Tous les dépôts Ada- AdaCore/awsÉtoiles : 163AdaPrototype
- rod-chapman/SPARKNaClÉtoiles : 139AdaPrototype
- ada-game-framework/sdladaÉtoiles : 135AdaPrototype
- joular/powerjoularÉtoiles : 122AdaPrototype
- Lucretia/tampÉtoiles : 116AdaPrototype
- AdaCore/learnÉtoiles : 116AdaPrototype