All Categories → No Category → compcert

Top 2 compcert open source projects

A formally verified high-level synthesis tool based on CompCert and written in Coq.

✭ 63

Coq ocaml SystemVerilog scheme tcl shell semantics coq verification verilog compcert high-level-synthesis

A Lustre compiler in Coq

✭ 48

Coq ocaml coq-formalization lustre compcert synchronous-language

1-2 of 2 compcert projects