GitHub repository: project-everest/everparse
Primary language: F*
Description: Automated generation of provably secure, zero-copy parsers from format specifications