Ecosyste.ms: Packages

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

Top 8.6% on hackage.haskell.org
Top 7.6% downloads on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
Top 5.3% forks on hackage.haskell.org

hackage.haskell.org : liquid-fixpoint

This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used for Liquid Types. The package includes: Types for Expressions, Predicates, Constraints, Solutions Code for solving constraints Requirements In addition to the .cabal dependencies you require A Z3 (http://z3.codeplex.com) or CVC4 (http://cvc4.cs.nyu.edu) binary.

Registry - Source - Homepage - JSON
purl: pkg:hackage/liquid-fixpoint
Keywords: bsd3, language, library, program
License: BSD-3-Clause
Latest release: over 2 years ago
First release: over 10 years ago
Dependent packages: 5
Dependent repositories: 11
Downloads: 19,498 total
Stars: 129 on GitHub
Forks: 56 on GitHub
Total Commits: 3286
Committers: 52
Average commits per author: 63.192
Development Distribution Score (DDS): 0.488
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: about 23 hours ago

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,156 stars on GitHub - 7 maintainers
g2 0.2.0.0
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
3 versions - Latest release: 2 months ago - 1 dependent package - 2 dependent repositories - 892 downloads total - 1 maintainer
liquidhaskell-boot 0.9.8.1
Liquid Types For Haskell
5 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 286 downloads total - 1,156 stars on GitHub - 1 maintainer
liquid-platform 0.9.2.8
Liquid Types For Haskell
5 versions - Latest release: 4 months ago - 556 downloads total - 1,156 stars on GitHub - 5 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 - 129 stars on GitHub - 7 maintainers