Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / qaristote / liquidhaskell
Liquid Types For Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaristote%2Fliquidhaskell
Fork of ucsd-progsys/liquidhaskell
Stars: 0
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language:
Repo Size: 51.2 MB
Dependencies:
313
Created: over 1 year ago
Updated: over 1 year ago
Last pushed: about 1 year ago
Last synced: about 1 year 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
- aeson >=1.5.6 && <2.1
- base *
- bytestring >=0.10.12 && <0.11
- cassava >=0.5.2 && <0.6
- optparse-applicative >=0.16.1 && <0.17
liquid-base/liquid-base.cabal
hackage
- base >=4.15.0.0 && <4.16
- base ==4.14.3.0
- integer-gmp <1.0.4.0
- liquid-ghc-prim *
- liquidhaskell >=0.8.10.1
- bytestring >=0.10.10.0 && <0.11
- liquid-base <5
- liquidhaskell >=0.8.10.1
- containers >=0.6.2.1 && <0.7
- liquid-base <5
- liquidhaskell >=0.8.10.1
- ghc-prim >=0.6.1 && <0.8
- liquidhaskell >=0.8.10.1
- liquid-base <4.16
- liquidhaskell >=0.8.10.1
- parallel >=3.2.0.0 && <3.3
- base >=4.8.1.0 && <5
- cmdargs ==0.10.*
- cmdargs *
- filepath *
- hint *
- hscolour *
- liquid-base >=4.14.1.0 && <5
- liquid-bytestring >=0.10.0.0 && <0.11
- liquid-containers >=0.6.2.1 && <0.7
- liquid-fixpoint >=0.7.0.5
- liquid-prelude >=0.8.10.2
- liquid-vector >=0.12.1.2 && <0.13
- liquidhaskell >=0.8.10.2
- liquidhaskell >=0.8.10.1
- process >=1.6.0.0 && <1.7
- 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
liquidhaskell.cabal
hackage
- Cabal <3.5
- 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
- data-fix *
- deepseq >=1.3
- directory >=1.2
- exceptions <0.11
- extra *
- filepath >=1.3
- filepath <1.5
- fingertree >=0.1
- free *
- ghc >=9 && <9.1
- ghc-boot *
- ghc-paths >=0.1
- ghc-prim *
- githash *
- gitrev *
- hashable ==1.3.*
- hscolour >=1.22
- liquid-fixpoint >=0.8.10.2.1 && <0.9
- liquidhaskell *
- megaparsec >=8
- mtl >=2.1
- mustache <2.4
- optics >=0.2
- optparse-applicative <0.17
- pretty >=1.1
- recursion-schemes <5.3
- shelly <1.10
- split *
- syb >=0.4.4
- template-haskell >=2.9
- temporary >=1.2
- text >=1.2
- text <1.3
- th-compat <0.2
- time >=1.4
- transformers >=0.3
- unordered-containers >=0.2.11
- vector >=0.10
- base >=4.8.1.0 && <5 test
- directory >=1.2.5 && <1.4 test
- directory * test
- extra * test
- filepath * test
- ghc * test
- liquid-fixpoint >=0.8.10.1 test
- liquidhaskell * test
- megaparsec * test
- process * test
- syb * test
- tasty >=0.7 test
- tasty >=0.10 test
- tasty-ant-xml * test
- tasty-hunit * test
- tasty-hunit >=0.9 test
- text * test
- Chart *
- Chart-diagrams *
- base *
- bytestring *
- cassava *
- cmdargs *
- colour *
- containers *
- directory *
- filepath *
- process *
- time *
- unordered-containers *
- vector *
- 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 >=3 && <5
- 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
- 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 >=4 && <4.6
- deepseq >=1.1 && <1.4
- hashable >=1.0.1.1 && <1.2
- HUnit * test
- QuickCheck >=2.4.0.1 test
- base * test
- containers >=0.4.1 && <0.5 test
- containers >=0.4.2 && <0.5 test
- hashable >=1.0.1.1 && <1.2 test
- test-framework >=0.3.3 && <0.6 test
- test-framework-hunit * test
- test-framework-quickcheck2 >=0.2.9 && <0.3 test
- unordered-containers * 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 *
- syb >=0.7.2
- template-haskell *
- text *
- transformers *
- transformers >=0.4.0.0
- 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