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 7.2% dependent packages on hackage.haskell.org

hackage.haskell.org : PropaFP

Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme

Registry - Source - Homepage - JSON - codemeta.json
purl: pkg:hackage/PropaFP
Keywords: formal-methods , library , math , mathematics , maths , mpl , program , theorem-provers , Propose Tags , floating-point , floating-point-arithmetic , formal-verification , haskell , theorem-prover
License: MPL-2.0
Latest release: almost 3 years ago
First release: over 3 years ago
Dependent packages: 2
Dependent repositories: 2
Downloads: 290 total
Stars: 8 on GitHub
Forks: 0 on GitHub
Total Commits: 54
Committers: 2
Average commits per author: 27.0
Development Distribution Score (DDS): 0.019
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago

LPPaver 0.0.5.0
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
2 versions - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 191 downloads total - 5 stars on GitHub - 1 maintainer
PropaFP 0.1.2.0
Please see the README on GitHub at https://github.com/rasheedja/PropaFP#readme
3 versions - Latest release: almost 3 years ago - 2 dependent packages - 2 dependent repositories - 290 downloads total - 8 stars on GitHub - 1 maintainer
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 2