Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / danr / hipspec
A hip inductive theorem prover!
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danr%2Fhipspec
Stars: 85
Forks: 8
Open Issues: 4
License: gpl-3.0
Language: Haskell
Repo Size: 7.41 MB
Dependencies:
30
Created: about 12 years ago
Updated: 10 months ago
Last pushed: over 2 years ago
Last synced: 10 months ago
Files
Loading...
Readme
Loading...
Dependencies
hipspec.cabal
hackage
- QuickCheck >=2.5
- SHA >=1.6 && <2
- aeson >=0.6
- base ==4.*
- bifunctors *
- bytestring *
- cmdargs >=0.9
- containers >=0.4
- directory >=1.0
- filepath >=1.0
- genifunctors >=0.2 && <=0.3
- geniplate >=0.6
- ghc *
- ghc-paths ==0.1.*
- ghc-prim *
- jukebox >=0.1 && <1
- mtl ==2.0.* || >=2.1.1 && <2.3
- pretty >=1.1
- pretty-show >=1.5 && <2
- process >=1.0.1.1
- quickspec ==0.9.6
- split >=0.1
- stm >=2.3
- stm-promise >=0.0.3.1 && <0.1
- structural-induction ==0.1
- template-haskell *
- time >=1.4
- transformers >=0.3
- unification-fd >=0.9 && <1.0
- void >=0.6 && <=1