project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
F*Apache-2.0
Stargazers
- avesturaSagittarius A*, Milky Way
- brendanzab@yeslogic
- carsonharmonNew York City, NY
- catalin-hritcuMPI-SP
- chris-woodNYC
- DeadlyelderLuxembourg
- denjiKyiv, UA
- dinosaureAround the world ...
- doctor-pi
- fuyu0425Georgia Tech
- gkze@plaid / @quovo
- habediPhD candidate at NTNU
- hengestone
- JeffCarpenterCanada
- jvalinsky
- KEVINYZYChina
- KOLANICHKOLANICH inc.
- lassik
- lethalbit@YosysHQ
- lojikil
- MattPD
- moore
- mukeshtiwariSwansea
- mytxd
- nadimkobeissi@symbolicsoft, @cure53berlin
- NaereenLycée Kléber | Éducation Nationale
- ndcroos
- paulpref
- pjhenningUSA
- puffybsd
- samykopenpath security
- smondetNew York, NY
- theSeafarer
- TheSirC
- ufwt
- valpackettArgentina ⭐⭐⭐