Automated generation of provably secure, zero-copy parsers from format specifications
Primary LanguageF*Apache License 2.0Apache-2.0