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