GitHub repository: uwplse/CoqAST
Primary language: OCaml
Description: Fun plugin to play with the Gallina AST.