CompCert

https://github.com/absint/compcert

CompCert is a formally-verified C compiler that generates code for multiple architectures (PowerPC,...

Tokens:66,595
Snippets:839
Trust Score:7.5
Update:4 weeks ago
Tokens:
Raw