Kha/HoTT-book-agda
Agda proofs of the HoTT book exercises
Public GitHub Catalog
Discovered Sep 27, 2026
Kha / pacaur
A fast workflow AUR helper using cower as backend
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.
#9261875GitHub System ID
KhaOrganization / User
PublicVisibility
ActiveCatalog Status
More from Kha
Kha/isabelle-zfc
Simplistic Formalization of ZFC in Isabelle
Kha/pymimicry
vim plugin for automagic Python refactorings
Kha/rope
a python refactoring library