GitHub repository: yforster/template-coq
Primary language: OCaml
Description: Reflection library for Coq