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