Data

Tools

Indexes

Applications

Experiments

Packages

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

sbv

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

Ecosystem
hackage.haskell.org
Latest Release
0.9.24
over 14 years ago
Versions
135
Downloads
85,947 total
Dependent Packages
8
Dependent Repos
162
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/sbv
    spec
    License BSD-3-Clause
    First Release about 15 years ago
    Last Synced 6 days ago
    Keywords
    bit-vectors bsd3 formal-methods library math smt symbolic-computation theorem-provers Propose Tags haskell verification
    Repository
    Stars 240 on GitHub
    Forks 33 on GitHub
    Commits 5473
    Committers 43
    Avg per Author 127.279
    DDS 0.128
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Overall Top 4.0%
    Downloads Top 1.7%
    Dependent packages Top 2.7%
    Dependent repos Top 3.0%
    Forks Top 7.0%