Ecosyste.ms: Packages

hackage.haskell.org : sbvPlugin

GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package. See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples for more details.

Registry - Source - Homepage - JSON
purl: pkg:hackage/sbvPlugin
Keywords: bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers, haskell, sbv, verification
License: BSD-3-Clause
Latest release: about 2 months ago
First release: over 8 years ago
Dependent repositories: 1
Downloads: 6,155 total
Stars: 44 on GitHub
Forks: 7 on GitHub
Total Commits: 446
Committers: 6
Average commits per author: 74.333
Development Distribution Score (DDS): 0.038
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago

• Readme
• Versions 18
• Dependent Packages 0
• Maintainers 1