bacam/sato-maps-agda
Public repository.
Public GitHub Catalog
Discovered Oct 5, 2026
bacam / vimtouch
vimtouch
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.
#29821534GitHub System ID
bacamOrganization / User
PublicVisibility
ActiveCatalog Status
More from bacam
bacam/WVBot
A Python IRC Bot
bacam/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
bacam/AntennaPod
A podcast manager for Android