AlphaUncommon
project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
- Owner
- project-everest (organization)
- Stars
- Stars: 345
- Forks
- Forks: 28
- Language
- F*
- License
- Apache-2.0
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by project-everest
All 4 repos by project-everest- project-everest/valeStars: 321F#Alpha
- project-everest/everestStars: 209ShellPrototype
- project-everest/mitls-fstarStars: 183F*Prototype
Nearby in F*
All F* repos- FStarLang/FStarStars: 3,132F*RC
- hacl-star/hacl-starStars: 1,845F*Beta
- project-everest/mitls-fstarStars: 183F*Prototype
- cryspen/bertieStars: 138F*Prototype