ahorn/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Sep 30, 2026
ahorn / plan9
UC Berkeley release of Plan 9 under the GPLv2
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.
#19616724GitHub System ID
ahornOrganization / User
PublicVisibility
ActiveCatalog Status
More from ahorn
ahorn/klee
KLEE Symbolic Virtual Machine
ahorn/native-symbolic-execution-clang
Source-to-source transformation to call native symbolic execution library and SMT Kit
ahorn/MpiDepAnalysis
LLVM analysis to find control dependencies on MPI calls