Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / psibi / incredible
The Incredible Proof Machine
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/psibi%2Fincredible
Fork of nomeata/incredible
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Haskell
Repo Size: 926 KB
Dependencies:
43
Created: over 8 years ago
Updated: over 8 years ago
Last pushed: over 8 years ago
Last synced: 15 days ago
Files
Loading...
Readme
Loading...
Dependencies
logic/incredible-logic.cabal
hackage
- aeson * benchmark
- base ==4.* benchmark
- bytestring * benchmark
- containers * benchmark
- criterion * benchmark
- extra * benchmark
- filepath * benchmark
- incredible-logic * benchmark
- yaml * benchmark
- aeson *
- base ==4.*
- base >=4.7 && <4.9
- bytestring *
- containers *
- dom-lt *
- extra *
- filepath *
- ghcjs-base *
- incredible-logic *
- parsec *
- tagged *
- text *
- transformers *
- unbound *
- unordered-containers *
- vector *
- void *
- yaml *
- aeson * test
- base ==4.* test
- bytestring * test
- containers * test
- extra * test
- filepath * test
- incredible-logic * test
- tagged * test
- tasty >=0.10 test
- tasty-expected-failure >=0.11 test
- tasty-hunit >=0.9 test
- tasty-quickcheck >=0.8 test
- text * test
- unbound * test
- yaml * test