Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / groupoid / alonzo
🧊 Типізоване -גчислення
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Falonzo
Stars: 15
Forks: 1
Open Issues: 0
License: other
Language: OCaml
Repo Size: 40 KB
Dependencies:
0
Created: about 2 years ago
Updated: 8 months ago
Last pushed: 3 months ago
Last synced: about 2 months ago
Commit Stats
Commits: 40
Authors: 3
Mean commits per author: 13.33
Development Distribution Score: 0.4
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/groupoid/alonzo
Topics: church, lambda-calculus, stlc
Files
No dependencies found