Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / LeventErkok / sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2Fsbv
Stars: 233
Forks: 32
Open Issues: 1
License: other
Language: Haskell
Repo Size: 16.2 MB
Dependencies:
46
Created: over 13 years ago
Updated: 7 days ago
Last pushed: 6 days ago
Last synced: 6 days ago
Commit Stats
Commits: 5473
Authors: 43
Mean commits per author: 127.28
Development Distribution Score: 0.128
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/LeventErkok/sbv
Topics: haskell, smt, verification
Files
Dependencies
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/checkout v2 composite
- rwe/actions-hlint-run v2 composite
- rwe/actions-hlint-setup v1 composite
- deepseq * benchmark
- filepath * benchmark
- process * benchmark
- random * benchmark
- sbv * benchmark
- tasty * benchmark
- tasty-bench * benchmark
- time * benchmark
- QuickCheck *
- array *
- async *
- containers *
- deepseq *
- directory *
- filepath *
- libBF *
- mtl *
- pretty *
- process *
- random *
- syb *
- template-haskell *
- text *
- time *
- transformers *
- uniplate *
- QuickCheck * test
- base * test
- bytestring * test
- containers * test
- directory * test
- filepath * test
- hlint * test
- mtl * test
- process * test
- random * test
- sbv * test
- tasty * test
- tasty-golden * test
- tasty-hunit * test
- tasty-quickcheck * test