Similar repositories to guillaumebrunerie/initiality:
guillaumebrunerie/initiality
github
similar
RobertHarper/hott-notes
github
similar
danistefanovic/build-your-own-x
github
similar
groupoid/anders
github
similar
mb64/xtt
github
similar
HarrisonGrodin/agda-modtt
github
similar
AndrasKovacs/thesis
github
similar
Trebor-Huang/Down-The-Path
github
similar
AndrasKovacs/polynomial-model
github
similar
mikeshulman/ohtt
github
similar
AndrasKovacs/universes
github
similar
effectfully/Generic
github
similar
nmvdw/Three-HITs
github
similar
RedPRL/mugen
github
similar
jespercockx/ataca
github
similar
arthuraa/agda-hoas-demo
github
similar
Chaaaos/formaltt
github
similar
ericfinster/opetopic-types
github
similar
tcampion/Semisimplicial
github
similar
AndrasKovacs/setoidtt
github
similar
conal/agda-cat-linear
github
similar
mortberg/gen-cart
github
similar
L-TChen/MtacAR
github
similar
RedPRL/stagedtt
github
similar
ericfinster/catt.io
github
similar
nachivpn/k
github
similar
kcsmnt0/quotient
github
similar
CHTT-s18/lecture-notes
github
similar
FrozenWinters/SbE
github
similar
JorisCeulemans/sikkel
github
similar
TOTBWF/teenytt
github
similar
gibiansky/IHaskell
github
similar
Deducteam/Agda2Dedukti
github
similar
favonia/hdtt2020-notes
github
similar
DimaSamoz/agda-soas
github
similar
mr-ohman/logrel-mltt
github
similar
AndrasKovacs/sett
github
similar
jonsterling/coq-guarded-computational-type-theory
github
similar
TOTBWF/cubical-categories
github
similar
Guest0x0/normalization-bench
github
similar