GitHub repository: slasser/vermillion
Primary language: OCaml
Description: LL(1) parser generator verified in Coq