Similar repositories to tcampion/Semisimplicial:

• tcampion/Semisimplicial github similar
• groupoid/anders github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• TOTBWF/agda-groups github similar
• tootsuite/mastodon github similar
• Eloston/ungoogled-chromium github similar
• leanprover-community/vscode-lean4 github similar
• nmvdw/GrpdHITs github similar
• jashug/WhyNotW github similar
• RedPRL/mugen github similar
• mikeshulman/ohtt github similar
• RobertHarper/hott-notes github similar
• superhaNds/cwfs github similar
• kcsmnt0/quotient github similar
• felixwellen/synthetic-geometry github similar
• mb64/xtt github similar
• julianhyde/morel github similar
• Trebor-Huang/Down-The-Path github similar
• mb64/cubical-free-monads github similar
• anthonyywangmath/tikzsd github similar
• RedPRL/kado github similar
• nmvdw/Three-HITs github similar
• RedPRL/asai github similar
• mortberg/gen-cart github similar
• RedPRL/ocaml-bwd github similar
• jonsterling/agda-synthetic-domain-theory github similar
• CMU-HoTT/serre-finiteness github similar
• HarrisonGrodin/agda-modtt github similar
• Univalent-Math/Univalent-Math.github.io github similar
• jonsterling/effectful-typesetting github similar
• Trebor-Huang/combinator-nbe github similar
• ualib/ualib.github.io github similar
• arthuraa/agda-hoas-demo github similar
• limemloh/cubical-congruence github similar
• glangmead/formalization github similar
• raehik/binrep github similar
• xuanruiqi/algebraic-geometry github similar
• AndrasKovacs/universes github similar
• gibiansky/IHaskell github similar