AlphaPeu commune
project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
- Propriétaire
- project-everest (organisation)
- Étoiles
- Étoiles : 345
- Forks
- Forks : 28
- Langage
- F*
- Licence
- Apache-2.0
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de project-everest
Les 4 dépôts de project-everest- project-everest/valeÉtoiles : 321F#Alpha
- project-everest/everestÉtoiles : 209ShellPrototype
- project-everest/mitls-fstarÉtoiles : 183F*Prototype
D’autres dépôts F*
Tous les dépôts F*- FStarLang/FStarÉtoiles : 3 131F*RC
- hacl-star/hacl-starÉtoiles : 1 845F*Bêta
- project-everest/mitls-fstarÉtoiles : 183F*Prototype
- cryspen/bertieÉtoiles : 138F*Prototype