david-christiansen/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Public GitHub Catalog
Discovered Nov 1, 2026
david-christiansen / idris-interaction.rkt
A Racket library for interacting with Idris over the IDE protocol
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.
#47585954GitHub 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