Rare find

CompCert. The CompCert formally-verified C compiler

github.com/AbsInt/CompCert

by

@AbsInt

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.