soimort/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
Public GitHub Catalog
Discovered Oct 1, 2026
soimort / akb48.js
AKB48 member profiles as a JavaScript library
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.
#20199503GitHub System ID
soimortOrganization / User
PublicVisibility
ActiveCatalog Status
More from soimort
soimort/wiki
Public repository.
soimort/pi
A simple pandoc wrapper that does the trick
soimort/Idris-dev
A Dependently Typed Functional Programming Language