Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
Lamdu:
github.com/lamdu/lamdu-calculus
An extended typed Lambda Calculus
https://github.com/lamdu/lamdu-calculus
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
Last synced: 1 day ago
JSON representation
An extended typed Lambda Calculus
- Host: GitHub
- URL: https://github.com/lamdu/lamdu-calculus
- Owner: lamdu
- License: bsd-3-clause
- Created: 2016-04-18T10:09:14.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2023-06-01T16:35:47.000Z (over 1 year ago)
- Last Synced: 2024-05-23T06:32:55.369Z (8 months ago)
- Language: Haskell
- Size: 320 KB
- Stars: 20
- Watchers: 5
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Collective
0
New Issues0
New Pull Requests0
Closed Issues0
Merged Pull Requests0
Closed Pull Requests0
Issue AuthorsN/A
Time-to-Close Issues0
Not Merged PRs0
Pull Request AuthorsN/A
Time-to-Close PRsN/A
Time-to-Merge PRs0
Maintainers0 -3
Commits0
Merge Commits0 -1
Authors0 -1
Committers0 -18
Additions0 -21
DeletionsNo issues or pull requests found within this period.