GitHub repository: project-everest/quackyducky
Primary language: OCaml
Description: Automated generation of verified F* parsers from RFC specifications