Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "sbv" keyword
sbvPlugin 9.8.2
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...18 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.16 thousand downloads total - 44 stars on GitHub - 1 maintainer