rstammer/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Public GitHub Catalog
Discovered Sep 30, 2026
rstammer / kneipenquiz
legaacy db-backed quiz app for upcoming support of legendary Zimt&Zunder Kneipenquiz™
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.
#17585180GitHub System ID
rstammerOrganization / User
PublicVisibility
ActiveCatalog Status
More from rstammer
rstammer/latex-examples
Collection of nice templates for everyday LaTeX use
rstammer/dotfiles
Public repository.