GitHub repository: meta-introspector/metacoq
Description: Metaprogramming in Coq