project-everest/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
F*Apache-2.0
Stargazers
- 5HT@arvo-computer
- a-nikolaev
- beyonddreamMicrosoft
- blackbeamAvailable on a contract basis
- chameco@GaloisInc
- codyroux
- collectrobot
- courage
- daviddiasProtocol Labs @protocol
- dranovSingapore
- evdenis
- fly51flyPRIS
- ghuysmans@isfath
- graydonVancouver, BC
- h1994st
- jack-pappasPhiladelphia, PA, USA
- jjpe
- karlin@amzn
- kzhong130University of Pennsylvania
- lambdaxymoxUnited States
- MCluck90New York, NY
- mgrabovskyFakta o klimatu
- mseriRijksuniversiteit Groningen
- nelenkov
- omariom
- ovidiupl
- phase@Moonsworth
- potan
- rationalthug
- smorimoto@ocaml @tc39
- timothyklim
- tkersey@thisisartium
- vmx
- vyorkin@zeriontech
- weizhunsun
- zhe-tao