CompCert

https://www.absint.com/compcert/

CompCert is a formally verified optimizing C compiler designed for safety-critical and...

Tokens:8,115
Snippets:131
Trust Score:9.8
Update:1 month ago
Tokens:
Raw