Ecosyste.ms: Repos

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

GitHub / idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-hackers%2Fidris-mode

Stars: 261
Forks: 70
Open Issues: 52

License: gpl-3.0
Language: Emacs Lisp
Repo Size: 1.14 MB
Dependencies: 6

Created: over 11 years ago
Updated: 6 days ago
Last pushed: 10 days ago
Last synced: about 19 hours ago

Commit Stats

Commits: 793
Authors: 50
Mean commits per author: 15.86
Development Distribution Score: 0.523
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/idris-hackers/idris-mode

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/idris1.yml actions
    .github/workflows/idris2.yml actions