Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ucsd-progsys / liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ucsd-progsys%2Fliquid-fixpoint
Stars: 129
Forks: 56
Open Issues: 37
License: bsd-3-clause
Language: Haskell
Repo Size: 5.5 MB
Dependencies:
76
Created: over 11 years ago
Updated: 12 days ago
Last pushed: 12 days ago
Last synced: 12 days ago
Commit Stats
Commits: 3286
Authors: 52
Mean commits per author: 63.19
Development Distribution Score: 0.488
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/ucsd-progsys/liquid-fixpoint
Files
Dependencies
- actions/cache v3 composite
- actions/checkout v3 composite
- haskell/actions/setup v2 composite
- pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite
- actions/checkout v3 composite
- haskell/actions/hlint-run v2 composite
- haskell/actions/hlint-setup v2 composite
- actions/cache v3 composite
- actions/checkout v3 composite
- haskell/actions/setup v2 composite
- pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- pavpanchekha/setup-z3 6b2d476d7a9227e0d8d2b94f73cd9fcba91b5e98 composite
- liquid-fixpoint * build
- aeson *
- ansi-terminal *
- array *
- ascii-progress >=0.3
- async *
- attoparsec *
- base >=4.9.1.0 && <5
- binary *
- boxes *
- bytestring >=0.10.2.1
- cereal *
- cmdargs *
- containers *
- deepseq *
- directory *
- fgl *
- filepath *
- hashable *
- intern *
- lens-family *
- liquid-fixpoint *
- megaparsec >=7.0.0 && <10
- mtl *
- parallel *
- parser-combinators *
- pretty >=1.1.3.1
- process *
- rest-rewrite >=0.3.0
- smtlib-backends >=0.3
- smtlib-backends-process >=0.3
- smtlib-backends-z3 >=0.3
- stm *
- store *
- syb *
- text *
- transformers *
- typed-process *
- unordered-containers *
- vector <0.13
- base >=4.9.1.0 && <5 test
- containers >=0.5 test
- containers * test
- directory * test
- filepath * test
- hashable * test
- liquid-fixpoint * test
- mtl >=2.2.2 test
- optparse-applicative * test
- process * test
- stm >=2.4 test
- tagged * test
- tasty >=0.10 test
- tasty-ant-xml * test
- tasty-hunit >=0.9 test
- tasty-quickcheck * test
- tasty-rerun >=1.1.12 test
- text * test
- transformers >=0.5 test
- typed-process * test
- unordered-containers * test