shaiguitar/andromeda
A minimalist implementation of type theory, suitable for experimentation
Public GitHub Catalog
Discovered Sep 26, 2026
shaiguitar / ruby_apis_and_clients
presentation
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.
#5790365GitHub 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.