Ecosyste.ms: Repos

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

GitHub / idris-lang / Idris2

A purely functional programming language with first class types

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2

Stars: 2,430
Forks: 367
Open Issues: 548

License: other
Language: Idris
Repo Size: 92.7 MB
Dependencies: 14

Created: about 4 years ago
Updated: about 9 hours ago
Last pushed: about 9 hours ago
Last synced: about 9 hours ago

Commit Stats

Commits: 2831
Authors: 239
Mean commits per author: 11.85
Development Distribution Score: 0.831
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/idris-lang/Idris2

Topics: compiler, dependent-types, hacktoberfest

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/ci-bootstrap.yml actions
    .github/workflows/ci-idris2-and-libs.yml actions
    .github/workflows/ci-lint.yml actions
    .github/workflows/ci-sphinx.yml actions
    .github/workflows/ci-super-linter.yml actions
    docs/requirements.txt pypi