3 results found Sort:

232
1.9k
other
62
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
6
66
other
10
A Lustre compiler in Coq
Created 2019-10-21
2,156 commits to paul-thesis branch, last one about a month ago