david-christiansen/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Public GitHub Catalog
Discovered Oct 3, 2026
david-christiansen / ghc-imported-from-el
Emacs support for Carlo Hamalainen's ghc-imported-from
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.
#26926471GitHub System ID
david-christiansenOrganization / User
PublicVisibility
ActiveCatalog Status
More from david-christiansen
david-christiansen/idris-interaction.rkt
A Racket library for interacting with Idris over the IDE protocol
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