All Git Users → querycert

1 open source projects by querycert

[ Open user page on Github ]

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 user projects