Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ucsd-progsys / liquidhaskell
Liquid Types For Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquidhaskell
Stars: 1,156
Forks: 130
Open Issues: 468
License: bsd-3-clause
Language: Haskell
Repo Size: 56.5 MB
Dependencies:
366
Created: over 11 years ago
Updated: 2 days ago
Last pushed: 2 days ago
Last synced: 2 days ago
Commit Stats
Commits: 10242
Authors: 113
Mean commits per author: 90.64
Development Distribution Score: 0.601
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/ucsd-progsys/liquidhaskell
Topics: haskell, refinement-types, smt, verification
Files
Loading...
Readme
Loading...
Dependencies
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 *
- 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
- 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.*
- 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
- 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
.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 <4.16
- liquidhaskell >=0.8.10.1
- parallel >=3.2.0.0 && <3.3
- ghc-prim *
- integer-gmp *
- integer-simple *
- rts *
- 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
- 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.*
- base >=4.8.1.0 && <5
- cmdargs ==0.10.*
- cmdargs *
- filepath *
- hint *
- hscolour *
- liquid-base >=4.14.1.0 && <5
- liquid-bytestring ==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.12
- containers >=0.6.0.0 && <0.7
- liquid-base <5
- liquid-ghc-prim *
- liquidhaskell >=0.8.10.2
- liquid-base <4.16
- liquidhaskell >=0.8.10.1
- vector >=0.12.1.2 && <0.13
- Chart *
- Chart-diagrams *
- base *
- bytestring *
- cassava *
- cmdargs *
- colour *
- containers *
- directory *
- filepath *
- process *
- time *
- unordered-containers *
- vector *
- 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
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
- Cabal <3.7
- Diff >=0.3 && <0.5
- aeson *
- base >=4.11.1.0 && <5
- binary *
- bytestring >=0.10
- cereal *
- cmdargs >=0.10
- containers >=0.5
- data-default >=0.5
- data-fix *
- deepseq >=1.3
- directory >=1.2
- exceptions <0.11
- extra *
- filepath >=1.3
- fingertree >=0.1
- free *
- ghc ==9.2.*
- ghc-boot *
- ghc-paths >=0.1
- ghc-prim *
- githash *
- gitrev *
- hashable >=1.3 && <1.5
- hscolour >=1.22
- liquid-fixpoint ==0.9.0.2.1
- megaparsec >=8
- mtl >=2.1
- optics >=0.2
- optparse-applicative <0.18
- pretty >=1.1
- recursion-schemes <5.3
- split *
- syb >=0.4.4
- template-haskell >=2.9
- temporary >=1.2
- text >=1.2
- 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
- filepath * test
- liquid-fixpoint * test
- liquidhaskell-boot * test
- megaparsec * test
- syb * test
- tasty >=0.10 test
- tasty-ant-xml * test
- tasty-hunit >=0.9 test
- Chart >=1.9.4
- Chart-diagrams *
- base *
- bytestring >=0.10.12 && <0.12
- cassava >=0.5.2 && <0.6
- colour *
- containers *
- data-default-class *
- directory *
- lens *
- optparse-applicative >=0.16.1 && <0.18
- vector *