luminousfennell/dot-emacs
My emacs configuration
Public GitHub Catalog
Discovered Oct 1, 2026
luminousfennell / funfr-agda
Source code for Fun-FR Agda Tutorials
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.
#21222116GitHub System ID
luminousfennellOrganization / User
PublicVisibility
ActiveCatalog Status
More from luminousfennell
luminousfennell/dired-dtach
Utilities to spawn commands with dtach from dired
luminousfennell/mtc-smallstep
Try to use MTC for a simple smallstep developement
luminousfennell/LJGS
Formalization of Lightweight Java with Gradual Security