project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
F*Apache-2.0
Stargazers
- nadimkobeissiParis, France
- valpackettArgentina ⭐⭐⭐
- samyklos angeles
- DeadlyelderLuxembourg
- KOLANICHMoscow, Russia
- smondetNew York, NY
- dinosaureAround the world ...
- NaereenStrasbourg, France
- TheSirC
- puffybsd
- doctor-pi
- pjhenningUSA
- ufwt
- KEVINYZYGuangdong Shenzhen
- moore
- paulpref
- gkzeHilbert Space
- denjiKyiv, UA
- ndcroos
- MattPD
- JeffCarpenterCanada
- catalin-hritcuBochum, Germany
- habediStavanger; Norway
- jvalinsky
- avesturaSagittarius A*, Milky Way
- theSeafarer
- chris-woodNYC
- mukeshtiwariSwansea
- carsonharmonNew York City, NY
- lojikil
- hengestone
- lethalbitcat /dev/aki
- fuyu0425Atlanta
- lassik
- brendanzabMelbourne, Australia
- mytxd