Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / BillHallahan / G2
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/BillHallahan%2FG2
Stars: 28
Forks: 6
Open Issues: 8
License: other
Language: Haskell
Repo Size: 57.6 MB
Dependencies:
8
Created: over 7 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago
Topics: haskell, symbolic-execution
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/haskell.yaml
actions
- actions/cache v2 composite
- actions/checkout v3 composite
- haskell/actions/setup v2 composite
- pavpanchekha/setup-z3 0.2.0 composite
.github/workflows/plugin.yaml
actions
- actions/cache v2 composite
- actions/checkout v3 composite
- haskell/actions/setup v2 composite
- pavpanchekha/setup-z3 0.2.0 composite