shaiguitar/andromeda
A minimalist implementation of type theory, suitable for experimentation
Public GitHub Catalog
Discovered Sep 25, 2026
shaiguitar / qotd
Quote of the day protocol server: rfc865 , http://en.wikipedia.org/wiki/QOTD
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.
#4012694GitHub System ID
shaiguitarOrganization / User
PublicVisibility
ActiveCatalog Status
More from shaiguitar
shaiguitar/openbook
open book is an open lilypond real book for Jazz musicians
shaiguitar/mozaik-ext-time
Mozaïk time/calendar widgets
shaiguitar/sensu-community-plugins
Sensu community plugins for checks, handlers, & mutators.