3 results found Sort:
The CompCert formally-verified C compiler
Created
2014-09-18
3,193 commits to master branch, last one 15 days ago
Verified Software Toolchain
Created
2014-11-21
7,705 commits to master branch, last one 8 days ago
A Lustre compiler in Coq
Created
2019-10-21
2,156 commits to paul-thesis branch, last one about a month ago