Data

Tools

Indexes

Applications

Experiments

Packages

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

Top 4.7% on hackage.haskell.org
Top 6.0% downloads on hackage.haskell.org
Top 2.4% dependent packages on hackage.haskell.org
Top 2.7% forks on hackage.haskell.org

hackage.haskell.org : liquidhaskell

Liquid Types for Haskell.

Registry - Source - JSON - codemeta.json
purl: pkg:hackage/liquidhaskell
Keywords: bsd3 , language , library , Propose Tags , haskell , refinement-types , smt , verification
License: BSD-3-Clause
Latest release: about 1 month ago
First release: over 12 years ago
Dependent packages: 10
Dependent repositories: 21
Downloads: 26,045 total
Stars: 1,260 on GitHub
Forks: 150 on GitHub
Total Commits: 10242
Committers: 113
Average commits per author: 90.637
Development Distribution Score (DDS): 0.601
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago

liquid-base 4.14.3.0
Liquid Types For Haskell
5 versions - Latest release: almost 2 years ago - 6 dependent packages - 16 dependent repositories - 1.09 thousand downloads total - 1,260 stars on GitHub - 5 maintainers
g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
3 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.03 thousand downloads total - 1 maintainer
liquid-parallel 3.2.2.0.3
Liquid Types For Haskell
4 versions - Latest release: almost 2 years ago - 346 downloads total - 1,260 stars on GitHub - 5 maintainers
liquid-platform 0.9.2.8
Liquid Types For Haskell
5 versions - Latest release: about 2 years ago - 631 downloads total - 1,194 stars on GitHub - 5 maintainers
liquid-containers 0.6.4.1
Liquid Types For Haskell
2 versions - Latest release: almost 3 years ago - 1 dependent package - 10 dependent repositories - 520 downloads total - 1,260 stars on GitHub - 5 maintainers
liquid-bytestring 0.10.12.1
Liquid Types For Haskell
2 versions - Latest release: almost 3 years ago - 1 dependent package - 3 dependent repositories - 352 downloads total - 1,260 stars on GitHub - 4 maintainers
liquid-ghc-prim 0.7.0
Liquid Types For Haskell
3 versions - Latest release: over 4 years ago - 1 dependent package - 5 dependent repositories - 858 downloads total - 1,260 stars on GitHub - 5 maintainers
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter by kind
All kinds runtime 7