Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / plredmond / liquidhaskell
Liquid Types For Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/plredmond%2Fliquidhaskell
Fork of ucsd-progsys/liquidhaskell
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 50.5 MB
Dependencies:
164
Created: almost 4 years ago
Updated: over 3 years ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- ghc-prim *
- integer-gmp *
- integer-simple *
- rts *
- array *
- base >=4.2 && <5
- deepseq >=1.2 && <1.4
- ghc-prim *
- HUnit * test
- QuickCheck * test
- array * test
- base >=4.2 && <5 test
- deepseq >=1.2 && <1.4 test
- ghc-prim * test
- test-framework * test
- test-framework-hunit * test
- test-framework-quickcheck2 * test
- base ==4.*
- QuickCheck <2
- X11 *
- X11 >=1.5.0.0 && <1.6
- base >=3 && <5
- base <3
- base *
- containers *
- directory *
- extensible-exceptions *
- filepath *
- mtl *
- process *
- random *
- unix *
- utf8-string ==0.3.*
liquid-base/liquid-base.cabal
hackage
- base ==4.14.1.0
- liquid-ghc-prim *
- liquidhaskell >=0.8.10.1
- bytestring >=0.10.10.0 && <0.11
- liquid-base <5
- liquidhaskell >=0.8.10.1
- ghc-prim ==0.6.1
- liquidhaskell >=0.8.10.1
liquidhaskell.cabal
hackage
- Cabal <3.3
- Diff >=0.3 && <0.5
- aeson *
- base >=4.11.1.0 && <5
- base >=4.9.1.0 && <5
- binary *
- bytestring >=0.10
- cereal *
- cmdargs >=0.10
- containers >=0.5
- containers <0.7
- data-default >=0.5
- deepseq >=1.3
- directory >=1.2
- extra *
- filepath >=1.3
- filepath <1.5
- fingertree >=0.1
- ghc *
- ghc-boot *
- ghc-paths >=0.1
- ghc-prim *
- githash *
- gitrev *
- hashable >=1.3
- hscolour >=1.22
- liquid-fixpoint >=0.8.10.1
- liquidhaskell *
- mtl >=2.1
- mustache <2.4
- optics >=0.2
- optparse-applicative <0.16.0.0
- optparse-applicative <0.16.1.0
- optparse-simple *
- parsec >=3.1
- pretty >=1.1
- shelly <1.10
- split *
- syb >=0.4.4
- template-haskell >=2.9
- temporary >=1.2
- text <1.3
- text >=1.2
- time *
- time >=1.4
- transformers >=0.3
- unordered-containers >=0.2
- vector >=0.10
- base >=4.8.1.0 && <5 test
- containers >=0.5 test
- directory >=1.2 test
- directory * test
- extra * test
- filepath >=1.3 test
- filepath * test
- ghc * test
- liquid-fixpoint >=0.8.10.1 test
- liquidhaskell * test
- mtl >=2.1 test
- optparse-applicative >=0.11 test
- parsec * test
- process >=1.2 test
- process * test
- stm >=2.4 test
- string-conv >=0.1 test
- syb * test
- tagged >=0.7.3 test
- tasty >=0.10 && <1.3 test
- tasty >=0.10 test
- tasty >=0.7 test
- tasty-ant-xml * test
- tasty-golden >=2.0.0 test
- tasty-hunit >=0.9 test
- tasty-hunit * test
- tasty-rerun >=1.1 test
- text * test
- transformers >=0.3 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