david-christiansen/idris-interaction.rkt
A Racket library for interacting with Idris over the IDE protocol
Public GitHub Catalog
Discovered Nov 2, 2026
david-christiansen / racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
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.
#48225011GitHub System ID
david-christiansenOrganization / User
PublicVisibility
ActiveCatalog Status
More from david-christiansen
david-christiansen/type-theory-study-group-2015
Resources for Type Theory Study Group 2015
david-christiansen/tt-playground
A playground for type theory implementations in Racket
david-christiansen/idris-code-highlighter
A semantic highlighter for Idris code