Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proxy.golang.org "coq-proof-assistant" keyword

Top 9.6% on proxy.golang.org
github.com/querycert/qcert v2.2.0+incompatible
Compilation and Verification of Data-Centric Languages
16 versions - Latest release: about 2 years ago - 53 stars on GitHub
Related Keywords
compiler 1 functional-programming 1 query-engine 1 query-language 1 sql 1 verification 1 verified-compiler 1