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