G github.com CompCert – Formally-verified C compiler 227 points deterministic 5 years ago 123 comments
