david-christiansen/trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
Public GitHub Catalog
Discovered Oct 5, 2026
david-christiansen / live-code-talks
An Emacs package to highlight special comments for in-buffer slide-shows.
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.
#29007387GitHub System ID
david-christiansenOrganization / User
PublicVisibility
ActiveCatalog Status
More from david-christiansen
david-christiansen/helm-pages
A Helm data source for pages in the current buffer
david-christiansen/IdrisAtGalois2015
Slides and exercises for the Idris course taught at Galois
david-christiansen/cryptol
Cryptol: The Language of Cryptography