martin-ueding/geometry-problem-sets
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
martin-ueding / mouse-problem-reloaded
The mice problem, just with lots of mice
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.
#4767472GitHub System ID
martin-uedingOrganization / User
PublicVisibility
ActiveCatalog Status
More from martin-ueding
martin-ueding/info-wallpaper
Public repository.
martin-ueding/new-names
Public repository.
martin-ueding/physics760-presentation
Public repository.