Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 04 Aug 2024
