Data

Tools

Indexes

Applications

Experiments

Packages

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

liquidhaskell

Liquid Types for Haskell.

Ecosystem
hackage.haskell.org
Latest Release
0.9.12.2.1
about 2 months ago
Versions
41
Downloads
26,045 total
Dependent Packages
10
Dependent Repos
21
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/liquidhaskell
    spec
    License BSD-3-Clause
    First Release over 12 years ago
    Last Synced 14 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
    Overall Top 4.7%
    Downloads Top 6.0%
    Dependent packages Top 2.4%
    Forks Top 2.7%