Search Results - RepositoryStats

221

1.8k

other

64

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,070 commits to master branch, last one 25 days ago

88

423

other

22

Verified Software Toolchain

c coq proof coq-vst compcert coq-library verification formal-methods proof-assistant formal-verification formal-specification

Created 2014-11-21

7,674 commits to master branch, last one 22 hours ago

6

56

other

10

A Lustre compiler in Coq

lustre compcert coq-formalization synchronous-language

Created 2019-10-21

1,572 commits to emsoft23-artifact branch, last one 11 months ago