Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / oquechy / liquidhaskell
Liquid Types For Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/oquechy%2Fliquidhaskell
Fork of ucsd-progsys/liquidhaskell
Stars: 1
Forks: 0
Open Issues: 2
License: bsd-3-clause
Language: Haskell
Repo Size: 51.2 MB
Dependencies:
152
Created: over 3 years ago
Updated: about 1 month ago
Last pushed: 6 months ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/docs-ci-cd.yml
actions
- actions/checkout v2 composite
- actions/setup-python v2 composite
.github/workflows/hlint.yml
actions
- actions/checkout v3 composite
- haskell/actions/hlint-run v2 composite
- haskell/actions/hlint-setup v2 composite
liquid-base/liquid-base.cabal
hackage
- base ==4.15.0.0
- base ==4.14.3.0
- integer-gmp <1.0.4.0
- liquid-ghc-prim *
- liquidhaskell >=0.8.10.1
- ghc-prim ==0.6.1
- liquidhaskell >=0.8.10.1
- bytestring >=0.10.0.0 && <0.11
- containers >=0.6.0.0 && <0.7
- liquid-base <5
- liquidhaskell >=0.8.10.2
- liquid-base <4.16
- liquidhaskell >=0.8.10.1
- vector >=0.12.1.2 && <0.13
- 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.*
- ansi-wl-pprint >=0.6.7.1
- deepseq >=1.4
- directory >=1.2.0.1
- hashable >=1.2.7.0
- haskeline >=0.7.1.1
- liquid-base >=4.10 && <5
- liquid-base *
- liquid-containers *
- liquid-prelude *
- liquidhaskell *
- mtl >=2.2.1
- parsec >=3.1
- stitch-lh *
- transformers >=0.4.0.0
- ansi-wl-pprint >=0.6.7.1 test
- liquid-base >=4.10 && <5 test
- liquid-containers * test
- liquidhaskell * test
- mtl >=2.2.1 test
- parsec >=3.1 test
- stitch-lh * test
- tasty >=0.8.1 test
- tasty-hunit >=0.9 test
- template-haskell * test
- transformers >=0.4.0.0 test
- base >=3 && <5
- bytestring >=0.9 && <1.0
- liquidhaskell *
- primitive >=0.3 && <0.6
- vector >=0.6 && <0.11
- 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.*
tests/tests.cabal
hackage
- ansi-wl-pprint >=0.6.7.1
- array >=0.5.4
- base <5
- binary *
- bytestring *
- containers *
- deepseq *
- deepseq >=1.4
- directory >=1.2.0.1
- hashable >=1.2.7.0
- haskeline >=0.7.1.1
- integer-gmp >=0.2
- liquid-base *
- liquid-bytestring *
- liquid-containers *
- liquid-ghc-prim *
- liquid-prelude *
- liquid-vector *
- liquidhaskell *
- mtl >=2.2.1
- optparse-applicative *
- parsec >=3.1
- primitive *
- prover-ple-lib *
- shelly *
- syb >=0.7.2
- syb *
- template-haskell *
- text *
- transformers >=0.4.0.0
- transformers *
- typed-process *
- base * test
- liquidhaskell * test
- tasty * test
- tasty-hunit * 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