# AdaCore/RecordFlux

<https://repo.masters-masters.com/repos/AdaCore/RecordFlux>

[Accueil](https://repo.masters-masters.com/) › [AdaCore](https://repo.masters-masters.com/owners/AdaCore) › [RecordFlux](https://repo.masters-masters.com/repos/AdaCore/RecordFlux)

AdaCore/RecordFlux, dépôt open source à 131 étoiles sur GitHub. Carte Prototype de RepoMasters. Formal specification and generation of verifiable binary…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [AdaCore](https://repo.masters-masters.com/owners/AdaCore) |
| Étoiles | 131 |
| Forks | 10 |
| Langage | [Ada](https://repo.masters-masters.com/languages/ada) |
| Licence | Apache-2.0 |
| Création | 2018 |
| Sujets | parser, binary-parser, ada, spark, formal-verification, formal-specification, formal-methods, communication-protocol, protocol-parser, protocol-specification |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [AdaCore/RecordFlux](https://github.com/AdaCore/RecordFlux) |

## Fiche du dépôt

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de AdaCore

- [AdaCore/gnatstudio · ★ 534 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/gnatstudio)
- [AdaCore/spark2014 · ★ 332 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/spark2014)
- [AdaCore/ada\_language\_server · ★ 307 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/ada_language_server)
- [AdaCore/Ada\_Drivers\_Library · ★ 287 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/Ada_Drivers_Library)
- [AdaCore/gnat-llvm · ★ 240 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/gnat-llvm)
- [AdaCore/libadalang · ★ 172 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/libadalang)

## D’autres dépôts Ada

- [AdaCore/aws · ★ 163 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/aws)
- [rod-chapman/SPARKNaCl · ★ 139 · Ada · Prototype](https://repo.masters-masters.com/repos/rod-chapman/SPARKNaCl)
- [ada-game-framework/sdlada · ★ 135 · Ada · Prototype](https://repo.masters-masters.com/repos/ada-game-framework/sdlada)
- [joular/powerjoular · ★ 122 · Ada · Prototype](https://repo.masters-masters.com/repos/joular/powerjoular)
- [Lucretia/tamp · ★ 116 · Ada · Prototype](https://repo.masters-masters.com/repos/Lucretia/tamp)
- [AdaCore/learn · ★ 116 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/learn)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.