GitHub repository: maximedenes/CompCert
Primary language: Coq
Description: The CompCert C verified compiler