Data

Tools

Indexes

Applications

Experiments

Packages

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

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.

Ecosystem
hackage.haskell.org
Latest Release
9.14.1
about 2 months ago
Versions
21
Downloads
6,970 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/sbvPlugin
    spec
    License BSD-3-Clause
    First Release about 10 years ago
    Last Synced 13 days ago
    Keywords
    bsd3 formal-methods library math smt symbolic-computation theorem-provers Propose Tags haskell sbv verification
    Repository
    Stars 45 on GitHub
    Forks 7 on GitHub
    Commits 448
    Committers 6
    Avg per Author 74.667
    DDS 0.038
    commits.ecosyste.ms
    repos.ecosyste.ms