girving/meme
Thoughts about proof languages
Public GitHub Catalog
Discovered Sep 25, 2026
girving / poker
Investigations into simplified holdem poker
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2840554GitHub System ID
girvingOrganization / User
PublicVisibility
ActiveCatalog Status
More from girving
girving/developer.rackspace.com
Gen 3 of the developer.rackspace.com Portal
girving/ace
Ace (Ajax.org Cloud9 Editor)
girving/shuffle
Proposal for interactive algebraic manipulation