Projects in Awesome Lists by querycert
A curated list of projects in awesome lists by querycert .
https://github.com/querycert/qcert
Compilation and Verification of Data-Centric Languages
compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler
Last synced: 13 May 2025