taruti/Euterpea
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
taruti / idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
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.
#28176563GitHub System ID
tarutiOrganization / User
PublicVisibility
ActiveCatalog Status
More from taruti
taruti/haskell-big-integer-experiment
An experiment in re-implementing big integers in Haskell.
taruti/opus
Public repository.
taruti/ogg
Go package for encoding/decoding OGG streams