idris-hackers/idris-extras
Various minor modes for editors and some tool support.
Public GitHub Catalog
Discovered Sep 29, 2026
idris-hackers / idris-hackers.github.io
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14592694GitHub 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.