Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / LeventErkok / sbvPlugin
Formally prove properties of Haskell programs using SBV/SMT.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin
Stars: 44
Forks: 7
Open Issues: 6
License: other
Language: Haskell
Repo Size: 542 KB
Dependencies:
20
Created: over 8 years ago
Updated: 3 months ago
Last pushed: about 2 months ago
Last synced: 19 days ago
Commit Stats
Commits: 446
Authors: 6
Mean commits per author: 74.33
Development Distribution Score: 0.038
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/LeventErkok/sbvPlugin
Topics: haskell, sbv, smt, verification
Files
Dependencies
- base >=4.11 && <5
- containers *
- ghc >=9.2.2
- ghc-prim *
- mtl *
- sbv >=9.0
- template-haskell *
- base >=4.11 && <5 test
- directory * test
- filepath * test
- process * test
- sbvPlugin * test
- tasty * test
- tasty-golden * test
- actions/cache/restore v3 composite
- actions/cache/save v3 composite
- actions/checkout v3 composite
- actions/checkout v2 composite
- rwe/actions-hlint-run v2 composite
- rwe/actions-hlint-setup v1 composite