Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
Lamdu:
github.com/lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
https://github.com/lamdu/hypertypes
Project activity
New Projects: 0
New Releases: 0
New Issues: 0
New Pull Requests: 0
Closed Issues: 0
Merged Pull Requests: 0
Closed Pull Requests: 0
Issue Authors: 0
Pull Request Authors: 0
Active Maintainers: 0
Time to close issues:
N/A
Time to merge pull requests:
N/A
Time to close pull requests:
N/A
Commit Stats
Commits: 0
Commit Authors: 0
Commit Committers: 0
Additions: 0
Deletions: 0
programming-language-development programming-languages type-checker type-inference
Last synced: 4 days ago
JSON representation
Hypertypes - generic programming for heterogeneous recursive types
- Host: GitHub
- URL: https://github.com/lamdu/hypertypes
- Owner: lamdu
- License: other
- Created: 2018-11-22T15:30:10.000Z (about 6 years ago)
- Default Branch: main
- Last Pushed: 2024-09-09T09:30:13.000Z (4 months ago)
- Last Synced: 2024-10-29T11:29:39.550Z (about 2 months ago)
- Topics: programming-language-development, programming-languages, type-checker, type-inference
- Language: Haskell
- Homepage:
- Size: 1.82 MB
- Stars: 112
- Watchers: 10
- Forks: 9
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- Changelog: ChangeLog.md
- License: LICENSE