Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / oquechy / safe-coupling

Relational verification of probabilistic programs

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oquechy%2Fsafe-coupling

Stars: 3
Forks: 1
Open Issues: 0

License: bsd-3-clause
Language: Haskell
Repo Size: 251 KB
Dependencies: 14

Created: over 2 years ago
Updated: about 1 year ago
Last pushed: almost 2 years ago
Last synced: 15 days ago

Files

Loading...

Readme

Loading...

Dependencies

safe-coupling.cabal hackage

tasty-discover * build
liquid-base >=4.15.0 && <4.16
liquid-containers >=0.6.2 && <0.7
liquid-prelude >=0.8.10 && <0.9
liquidhaskell >=0.8.10 && <0.9
probability >=0.2.7 && <0.3
rest-rewrite >=0.1.1 && <0.2
HUnit >=1.6.1 && <1.7 test
liquid-base * test
probability >=0.2.7 && <0.3 test
safe-coupling * test
sort >=1.0.0 && <1.1 test
tasty >=1.2.3 && <1.3 test
tasty-hunit >=0.10.0 && <1.11 test