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: 234
Forks: 32
Open Issues: 1
License: other
Language: Haskell
Repo Size: 15.5 MB
Dependencies:
0
Created: over 13 years ago
Updated: 12 days ago
Last pushed: 12 days ago
Last synced: 12 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
No dependencies found