Data

Tools

Indexes

Applications

Experiments

Packages

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

oak-coq

Coq theorem prover language parser with support for dependent types and formal verification.

Ecosystem
crates.io
Latest Release
0.0.11
7 months ago
Versions
12
Downloads
376 total
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/oak-coq
    spec
    License MPL-2.0
    First Release about 1 year ago
    Last Synced about 1 month ago
    Keywords
    parser dependent-types theorem-prover coq high-performance incremental-parsing simd zero-allocation zero-cost-abstraction
    Repository
    Stars 26 on GitHub
    Forks 3 on GitHub
    repos.ecosyste.ms