Search Results - RepositoryStats

228

1.9k

other

63

The CompCert formally-verified C compiler

c coq compcert compiler

Created 2014-09-18

3,156 commits to master branch, last one 7 days ago

93

443

other

23

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,697 commits to master branch, last one about a month ago

6

58

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 about a year ago