curiousleo/my-agda-lib
Fork of Eric Merten's Agda library
Public GitHub Catalog
Discovered Oct 7, 2026
curiousleo / notmuch-addrlookup-c
Address lookup tool for Notmuch in C using GLib and libnotmuch
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.
#35477159GitHub System ID
curiousleoOrganization / User
PublicVisibility
ActiveCatalog Status
More from curiousleo
curiousleo/agda-coinduction-experiments
Infinite data structures in Agda
curiousleo/datavis
Data retrieval and visualisation workshop examples
curiousleo/flappybird
Public repository.