luminousfennell/funfr-agda
Source code for Fun-FR Agda Tutorials
Public GitHub Catalog
Discovered Oct 7, 2026
luminousfennell / pointex
Point extractor for Daphne
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.
#34391190GitHub 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/mtc-smallstep
Try to use MTC for a simple smallstep developement