All Categories → No Category → verified-compiler

Top 1 verified-compiler open source projects

Compilation and Verification of Data-Centric Languages

✭ 50

Coq java ocaml javascript Makefile typescript sql compiler functional-programming verification query-engine query-language verified-compiler coq-proof-assistant

1-1 of 1 verified-compiler projects