1 result found Sort:

querycert
qcert querycert
10
57
apache-2.0
5
Compilation and Verification of Data-Centric Languages
sql compiler query-engine verification query-language verified-compiler coq-proof-assistant functional-programming
Created 2016-06-11
2,106 commits to master branch, last one about a year ago