idris-hackers/idris-extras
Various minor modes for editors and some tool support.
Public GitHub Catalog
Discovered Sep 30, 2026
idris-hackers / atom-language-idris
A Idris Mode for Atom.io
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#18728374GitHub System ID
idris-hackersOrganization / User
PublicVisibility
ActiveCatalog Status
More from idris-hackers
idris-hackers/idris-sublime
A Plugin to use Idris with Sublime
idris-hackers/idris-algebra
This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
idris-hackers/idris-time
A dependently-typed implementation of ISO 8601.