Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lamdu / hypertypes
Hypertypes - generic programming for heterogeneous recursive types
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lamdu%2Fhypertypes
Stars: 106
Forks: 8
Open Issues: 6
License: bsd-3-clause
Language: Haskell
Repo Size: 1.81 MB
Dependencies:
42
Created: over 5 years ago
Updated: about 2 months ago
Last pushed: 11 months ago
Last synced: about 2 months ago
Commit Stats
Commits: 1215
Authors: 6
Mean commits per author: 202.5
Development Distribution Score: 0.081
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/lamdu/hypertypes
Topics: programming-language-development, programming-languages, type-checker, type-inference
Funding links: https://github.com/sponsors/lamdu
Files
Dependencies
- base >=4.9 && <5 benchmark
- constraints * benchmark
- containers * benchmark
- criterion * benchmark
- generic-constraints * benchmark
- generic-data * benchmark
- hypertypes * benchmark
- lattices * benchmark
- lens * benchmark
- monad-st * benchmark
- mtl * benchmark
- pretty * benchmark
- array *
- base >=4.9 && <5
- base-compat *
- binary *
- constraints *
- containers *
- deepseq *
- generic-constraints *
- generic-data *
- lattices *
- lens *
- monad-st *
- mtl *
- pretty *
- show-combinators *
- template-haskell *
- th-abstraction >=0.3
- transformers *
- base >=4.9 && <5 test
- constraints * test
- containers * test
- generic-constraints * test
- generic-data * test
- hypertypes * test
- lattices * test
- lens * test
- monad-st * test
- mtl * test
- pretty * test
- text * test