GitHub repository: snu-sf/CompCert
Primary language: Coq
Description: The CompCert C verified compiler