Kha/cantor-set
A formalization of the Cantor Set and its properties in Isabelle/HOL
Public GitHub Catalog
Discovered Sep 25, 2026
Kha / light-cycle
Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012
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.
#3615137GitHub System ID
KhaOrganization / User
PublicVisibility
ActiveCatalog Status
More from Kha
Kha/Bartizan
Mod Framework for TowerFall Ascension
Kha/ILSpy
.NET Decompiler
Kha/err-rssfeed
err BotPlugin to register to rss feeds and get updates in the chat.