Ecosyste.ms: Packages

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

hackage.haskell.org maintainers: ranjitjhala

liquid-platform 0.9.2.8
Liquid Types For Haskell
5 versions - Latest release: 4 months ago - 550 downloads total - 1,153 stars on GitHub - 5 maintainers
liquid-prelude 0.9.2.8.1
Liquid Types For Haskell
5 versions - Latest release: 2 months ago - 1 dependent package - 11 dependent repositories - 587 downloads total - 1,153 stars on GitHub - 4 maintainers
liquid-vector 0.13.1.0.1
Liquid Types For Haskell
4 versions - Latest release: 2 months ago - 1 dependent package - 4 dependent repositories - 402 downloads total - 1,153 stars on GitHub - 5 maintainers
liquid-ghc-prim 0.7.0
Liquid Types For Haskell
3 versions - Latest release: almost 3 years ago - 1 dependent package - 5 dependent repositories - 785 downloads total - 1,153 stars on GitHub - 5 maintainers
Top 4.7% on hackage.haskell.org
liquidhaskell 0.8.10.7.1
Liquid Types for Haskell.
36 versions - Latest release: about 2 months ago - 10 dependent packages - 21 dependent repositories - 23.9 thousand downloads total - 1,153 stars on GitHub - 7 maintainers
liquid-base 4.14.3.0
Liquid Types For Haskell
5 versions - Latest release: about 2 months ago - 6 dependent packages - 16 dependent repositories - 999 downloads total - 1,153 stars on GitHub - 5 maintainers
liquid-containers 0.6.4.1
Liquid Types For Haskell
2 versions - Latest release: about 1 year ago - 1 dependent package - 10 dependent repositories - 474 downloads total - 1,145 stars on GitHub - 5 maintainers
liquid-parallel 3.2.2.0.3
Liquid Types For Haskell
4 versions - Latest release: 2 months ago - 276 downloads total - 1,145 stars on GitHub - 5 maintainers
liquid-bytestring 0.10.12.1
Liquid Types For Haskell
2 versions - Latest release: about 1 year ago - 1 dependent package - 3 dependent repositories - 314 downloads total - 1,145 stars on GitHub - 4 maintainers
Top 8.6% on hackage.haskell.org
liquid-fixpoint 8.10.7
This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used fo...
29 versions - Latest release: over 2 years ago - 5 dependent packages - 11 dependent repositories - 19.5 thousand downloads total - 128 stars on GitHub - 7 maintainers
csv-table 0.1.0.1
Scripts for manipulating tables, e.g. filter, join, etc. stored as CSV files
2 versions - Latest release: about 8 years ago - 1 dependent repositories - 1.63 thousand downloads total - 2 stars on GitHub - 1 maintainer
elsa 0.2.2.0
elsa is a small proof checker for verifying sequences of reductions of lambda-calculus terms. The...
8 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 4.63 thousand downloads total - 179 stars on GitHub - 1 maintainer
Top 9.2% on hackage.haskell.org
hdevtools 0.1.8.0
hdevtools is a backend for text editor plugins, to allow for things such as syntax and type check...
22 versions - Latest release: about 5 years ago - 134 dependent repositories - 28.7 thousand downloads total - 98 stars on GitHub - 4 maintainers
ghc-options 0.2.0.0
Utilities for extracting the GHC options needed to compile a given target Haskell file.
2 versions - Latest release: over 8 years ago - 1.38 thousand downloads total - 4 stars on GitHub - 1 maintainer
tagged-timers 0.1.0.0
Library for tagging IO actions and getting logs of total time spent per tag.
1 version - Latest release: about 8 years ago - 774 downloads total - 1 stars on GitHub - 1 maintainer