LinuxMercedes/hott-notes
Homotopy Type Theory Notes
Public GitHub Catalog
Discovered Oct 6, 2026
LinuxMercedes / clocktime
An HTML5/Javascript analog clock
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.
#33283587GitHub System ID
LinuxMercedesOrganization / User
PublicVisibility
ActiveCatalog Status
More from LinuxMercedes
LinuxMercedes/gitventure
Choose your own adventure by abusing git submodules
LinuxMercedes/esk.email-html
The html landing page for esk.email ... WIP
LinuxMercedes/meruplaybook
A playbook for setting up email on a server; Work in Progress