Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lsrcz / grisette
A monadic library for symbolic evaluation
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lsrcz%2Fgrisette
Stars: 44
Forks: 3
Open Issues: 10
License: other
Language: Haskell
Repo Size: 1.91 MB
Dependencies:
57
Created: over 1 year ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Topics: haskell, smt, symbolic-evaluation, symbolic-execution, synthesis, verification
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/hlint.yml
actions
- actions/checkout v3 composite
- haskell/actions/hlint-run v2 composite
- haskell/actions/hlint-setup v2 composite
.github/workflows/ormolu.yml
actions
- actions/checkout v3 composite
- mrkkrp/ormolu-action v7 composite
.github/workflows/test.yml
actions
- 8c6794b6/hpc-codecov-action v2 composite
- actions/cache v3 composite
- actions/checkout v3 composite
- cachix/cachix-action v12 composite
- cachix/install-nix-action v18 composite
- codecov/codecov-action v3 composite
- phoenix-actions/test-reporting v8 composite
grisette.cabal
hackage
- QuickCheck >=2.13.2 && <2.15
- array >=0.5.4 && <0.6
- base >=4.14 && <5
- bytestring >=0.10.12 && <0.13
- deepseq >=1.4.4 && <1.6
- generic-deriving >=1.14.1 && <1.15
- hashable >=1.2.3 && <1.5
- hashtables >=1.2.3.4 && <1.4
- intern >=0.9.2 && <0.10
- loch-th >=0.2.2 && <0.3
- mtl >=2.2.2 && <2.4
- parallel >=3.2.2.0 && <3.3
- prettyprinter >=1.5.0 && <1.8
- sbv >=8.11 && <10.3
- template-haskell >=2.16 && <2.21
- text >=1.2.4.1 && <2.2
- th-compat >=0.1.2 && <0.2
- transformers >=0.5.6 && <0.7
- unordered-containers >=0.2.11 && <0.3
- Glob * test
- HUnit ==1.6.* test
- QuickCheck >=2.13.2 && <2.15 test
- array >=0.5.4 && <0.6 test
- base >=4.14 && <5 test
- bytestring >=0.10.12 && <0.13 test
- deepseq >=1.4.4 && <1.6 test
- doctest >=0.18.2 && <0.23 test
- generic-deriving >=1.14.1 && <1.15 test
- grisette * test
- hashable >=1.2.3 && <1.5 test
- hashtables >=1.2.3.4 && <1.4 test
- intern >=0.9.2 && <0.10 test
- loch-th >=0.2.2 && <0.3 test
- mtl >=2.2.2 && <2.4 test
- parallel >=3.2.2.0 && <3.3 test
- prettyprinter >=1.5.0 && <1.8 test
- sbv >=8.11 && <10.3 test
- template-haskell >=2.16 && <2.21 test
- test-framework >=0.8.2 && <0.9 test
- test-framework-hunit >=0.3.0.2 && <0.4 test
- test-framework-quickcheck2 >=0.3.0.5 && <0.4 test
- text >=1.2.4.1 && <2.2 test
- th-compat >=0.1.2 && <0.2 test
- transformers >=0.5.6 && <0.7 test
- unordered-containers >=0.2.11 && <0.3 test