kirelagin/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Sep 27, 2026
kirelagin / MessageQueue
Public repository discovered through GitHub real-time crawl.
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.
#9259558GitHub System ID
kirelaginOrganization / User
PublicVisibility
ActiveCatalog Status
More from kirelagin
kirelagin/holliday
Gentoo overlay
kirelagin/prompt_kir
Prompt theme for ZSH similar to adam2
kirelagin/dotfiles.github.com
Your unofficial guide to doing dotfiles on GitHub.