GitHub repository: CertiCoq/certicoq
Primary language: Coq
Description: A Verified Compiler for Gallina, Written in Gallina