CompCert. The CompCert formally-verified C compiler

github.com/joom/CompCert
by @joom

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.