david-christiansen/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Public GitHub Catalog
Discovered Sep 29, 2026
david-christiansen / idris-raytracer
Unfinished raytracer in Idris for use in testing compiler optimizations
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.
#14407602GitHub 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