cacay/G4ip
A theorem prover using G4ip
Public GitHub Catalog
Discovered Sep 27, 2026
cacay / PolygonGame
An asteroids game written in Python.
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.
#8968124GitHub System ID
cacayOrganization / User
PublicVisibility
ActiveCatalog Status
More from cacay
cacay/containers
Assorted concrete container types
cacay/Mobot
The simplified code of a line following robot that won CMU's 2013 Mobot competition.
cacay/MemoryPool
An easy to use and efficient memory pool allocator written in C++.