Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.7% downloads on hackage.haskell.org
Top 2.7% dependent packages on hackage.haskell.org
Top 3.0% dependent repos on hackage.haskell.org
Top 7.0% forks on hackage.haskell.org
hackage.haskell.org : sbv
Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/sbv
Keywords: bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers, haskell, verification
License: BSD-3-Clause
Latest release: over 12 years ago
First release: over 13 years ago
Dependent packages: 8
Dependent repositories: 162
Downloads: 75,283 total
Stars: 233 on GitHub
Forks: 31 on GitHub
Total Commits: 5473
Committers: 43
Average commits per author: 127.279
Development Distribution Score (DDS): 0.128
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 28 days ago