Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / elliottt / 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/elliottt%2Fsbv
Fork of yav/sbv
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 5.13 MB
Dependencies:
22
Created: about 9 years ago
Updated: almost 5 years ago
Last pushed: about 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...