Data

Tools

Indexes

Applications

Experiments

Packages

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

github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages

Ecosystem
proxy.golang.org
Latest Release
v2.2.0+incompatible
almost 4 years ago
Versions
16
    Loading...
    Readme
    Loading...
    Links
    Registry proxy.golang.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:golang/github.com/querycert/qcert
    spec
    License Apache-2.0
    First Release about 8 years ago
    Last Synced 14 days ago
    Keywords
    compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler
    Repository
    Stars 53 on GitHub
    Forks 9 on GitHub
    Commits 2051
    Committers 16
    Avg per Author 128.188
    DDS 0.64
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on proxy.golang.org
    Overall Top 9.6%