Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / silky / liquidhaskell
Liquid Types For Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/silky%2Fliquidhaskell
Fork of ucsd-progsys/liquidhaskell
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 57.3 MB
Dependencies:
107
Created: over 9 years ago
Updated: about 1 year ago
Last pushed: over 9 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- base ==4.*
- array *
- base <5
- base >=4
- bytestring >=0.9
- deepseq >=1.1.0.0
- extensible-exceptions *
- ghc-prim *
- integer ==0.1.*
- integer-gmp >=0.2
- integer-simple >=0.1 && <0.5
- HUnit >=1.2 test
- QuickCheck >=2.4 test
- base * test
- bytestring * test
- deepseq * test
- directory * test
- ghc-prim * test
- random * test
- test-framework >=0.4 test
- test-framework-hunit >=0.2 test
- test-framework-quickcheck2 >=0.2 test
- text * test
- base >=3 && <5
- bytestring >=0.9 && <1.0
- liquidhaskell *
- primitive >=0.3 && <0.6
- vector >=0.6 && <0.11
liquidhaskell.cabal
hackage
- Diff *
- aeson *
- ansi-terminal *
- array *
- base ==4.*
- base *
- bifunctors *
- bytestring *
- cmdargs *
- containers *
- cpphs *
- data-default *
- deepseq *
- directory *
- filemanip *
- filepath *
- fingertree *
- ghc >=7.8.3
- ghc-paths *
- hashable *
- hpc *
- hscolour *
- intern *
- liquid-fixpoint >=0.2.1.0
- liquidhaskell *
- mtl *
- parsec *
- pretty *
- process *
- syb *
- template-haskell *
- text *
- time *
- unordered-containers *
- vector *
- base * test
- directory * test
- filepath * test
- liquidhaskell * test
- optparse-applicative ==0.11.* test
- process * test
- tagged * test
- tasty >=0.10 test
- tasty-hunit >=0.9 test
- tasty-rerun >=1.1 test
- grunt ~0.4.0 development
- grunt-contrib-connect ~0.4.1 development
- grunt-contrib-cssmin ~0.4.1 development
- grunt-contrib-jshint ~0.6.4 development
- grunt-contrib-qunit ~0.2.2 development
- grunt-contrib-sass ~0.5.0 development
- grunt-contrib-uglify ~0.2.4 development
- grunt-contrib-watch ~0.5.3 development
- grunt-zip ~0.7.0 development
- express ~2.5.9
- mustache ~0.7.2
- socket.io ~0.9.13
- underscore ~1.5.1
- grunt ~0.4.0 development
- grunt-contrib-connect ~0.4.1 development
- grunt-contrib-cssmin ~0.4.1 development
- grunt-contrib-jshint ~0.6.4 development
- grunt-contrib-qunit ~0.2.2 development
- grunt-contrib-sass ~0.5.0 development
- grunt-contrib-uglify ~0.2.4 development
- grunt-contrib-watch ~0.5.3 development
- grunt-zip ~0.7.0 development
- express ~2.5.9
- mustache ~0.7.2
- socket.io ~0.9.13
- underscore ~1.5.1
- express 2.5.9
- mustache 0.4.0
- socket.io 0.9.6
- underscore 1.3.3
- express 2.5.9
- mustache 0.4.0
- socket.io 0.9.6
- underscore 1.3.3