GitHub repository: FreeProving/language-coq
Primary language: Haskell
Description: Coq AST and pretty-printer written in Haskell