shaiguitar/andromeda
A minimalist implementation of type theory, suitable for experimentation
Public GitHub Catalog
Discovered Sep 24, 2026
shaiguitar / Bigdis
Bigdis - a file-based KV store speaking the Redis protocol
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.
#802358GitHub 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.