Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / groupoid / henk

🧊 Чиста система з всесвітами

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/groupoid%2Fhenk

Stars: 144
Forks: 20
Open Issues: 0

License: other
Language: Erlang
Repo Size: 10.7 MB
Dependencies: 6

Created: almost 11 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 1 month ago

Commit Stats

Commits: 48
Authors: 1
Mean commits per author: 48.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/groupoid/henk

Topics: erlang, lambda-cube, pts, pure, termination

Files
    Loading...
    Readme
    Loading...
    Dependencies
    package.json npm