Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gridaphobe / target
Generate test-suites from refinement types.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gridaphobe%2Ftarget
Stars: 7
Forks: 0
Open Issues: 2
License: mit
Language: HTML
Repo Size: 5.95 MB
Dependencies:
64
Created: over 10 years ago
Updated: about 5 years ago
Last pushed: over 8 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
target.cabal
hackage
- QuickCheck >=2.6 benchmark
- SafeSemaphore * benchmark
- aeson * benchmark
- base * benchmark
- bytestring * benchmark
- cassava * benchmark
- containers * benchmark
- data-timeout >=0.3 benchmark
- deepseq * benchmark
- ghc * benchmark
- liquid-fixpoint * benchmark
- liquidhaskell * benchmark
- mtl * benchmark
- random * benchmark
- smallcheck >=1.1 benchmark
- tagged * benchmark
- target * benchmark
- template-haskell * benchmark
- time * benchmark
- unordered-containers * benchmark
- vector * benchmark
- xml-conduit * benchmark
- QuickCheck >=2.7
- base *
- base >=4.6 && <5
- containers >=0.5.0.0
- directory >=1.2.0.1
- exceptions >=0.6
- filepath >=1.3.0.1
- ghc >=7.8.3
- ghc-paths *
- hashable >=1.2.4.0
- hint *
- liquid-fixpoint >=0.4
- liquidhaskell >=0.5
- mtl >=2.1.2
- pretty *
- process *
- syb >=0.4.2
- tagged >=0.7
- target *
- template-haskell >=2.8
- text >=1.0
- text-format *
- th-lift *
- transformers >=0.3
- unordered-containers >=0.2.3.0
- vector *
- array * test
- base * test
- containers * test
- deepseq * test
- ghc * test
- ghc-prim * test
- liquid-fixpoint * test
- liquidhaskell * test
- mtl * test
- tagged * test
- target * test
- tasty >=0.8 test
- tasty-ant-xml * test
- tasty-hunit >=0.8 test
- template-haskell * test
- unordered-containers * test