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:
0
Created: over 8 years ago
Updated: 8 days ago
Last pushed: 8 days ago
Last synced: 8 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
No dependencies found