TIL that CompCert, the incredible formally verified compiler, is maintained on GitHub! https://github.com/AbsInt/CompCert (it's not FOSS, however)