Data

Tools

Indexes

Applications

Experiments

Packages

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

liquid-parallel

Liquid Types For Haskell

Ecosystem
hackage.haskell.org
Latest Release
3.2.2.0.3
about 2 years ago
Versions
4
Downloads
346 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/liquid-parallel
    spec
    License BSD-3-Clause
    First Release over 5 years ago
    Last Synced 15 days ago
    Keywords
    bsd3 language library Propose Tags haskell refinement-types smt verification
    Repository
    Stars 1,260 on GitHub
    Forks 150 on GitHub
    Commits 10242
    Committers 113
    Avg per Author 90.637
    DDS 0.601
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Forks Top 1.6%