verus. An experimental STLC based alternative to languages like MISRA-C or CompCert

github.com/adam-mcdaniel/verus

Problem

Audience

Updates

No founder updates yet. Check back soon.