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-platform

Liquid Types For Haskell

Ecosystem
hackage.haskell.org
Latest Release
0.9.2.8
about 2 years ago
Versions
5
Downloads
631 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/liquid-platform
    spec
    License BSD-3-Clause
    First Release over 5 years ago
    Last Synced 8 days ago
    Keywords
    bsd3 language Propose Tags haskell refinement-types smt verification
    Repository
    Stars 1,194 on GitHub
    Forks 139 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%