Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / gelisam / typelevel-rewrite-rules
rewrite rules for type-level equalities
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gelisam%2Ftypelevel-rewrite-rules
Stars: 61
Forks: 4
Open Issues: 8
License: None
Language: Haskell
Repo Size: 183 KB
Dependencies:
13
Created: over 4 years ago
Updated: 12 days ago
Last pushed: about 1 month ago
Last synced: 12 days ago
Commit Stats
Commits: 184
Authors: 4
Mean commits per author: 46.0
Development Distribution Score: 0.065
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/gelisam/typelevel-rewrite-rules
Files
Dependencies
- actions/cache v2 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- base >=4.12 && <5
- containers >=0.6.2.1
- ghc >=8.10.2 && <9.1
- ghc-prim >=0.5.3
- term-rewriting >=0.3.0.1
- transformers >=0.5.6.2
- base >=4.12 && <5 test
- ghc-prim >=0.5.3 test
- typelevel-rewrite-rules * test
- vinyl >=0.13.0 test