tbelaire/HoTT
Homotopy type theory
Public GitHub Catalog
Discovered Sep 26, 2026
tbelaire / Minecraft-API
Minecraft API development
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.
#6197498GitHub System ID
tbelaireOrganization / User
PublicVisibility
ActiveCatalog Status
More from tbelaire
tbelaire/closure
Depth- and breadth-first set closures
tbelaire/contexFreeParsing
(python) parsing natural language using CKY CFG
tbelaire/Minecraft
Simple Minecraft-inspired program using Python and Pyglet