rstammer/kneipenquiz
legaacy db-backed quiz app for upcoming support of legendary Zimt&Zunder Kneipenquiz™
Public GitHub Catalog
Discovered Oct 5, 2026
rstammer / hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
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.
#28646914GitHub 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.