Similar repositories to TOTBWF/cubical-categories:

• TOTBWF/cubical-categories github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• superhaNds/cwfs github similar
• umazalakain/typing-linear-pi github similar
• nachivpn/expelim github similar
• ericfinster/opetopes-in-agda github similar
• AndrasKovacs/preordertt github similar
• uelis/contextual github similar
• ziman/itt-idris github similar
• jonsterling/guarded-theories github similar
• jonsterling/agda-effectful-forcing github similar
• guillaumebrunerie/SmashProduct github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• amblafont/UniversalII github similar
• m-yac/tt-in-cagda github similar
• jonsterling/coq-domains github similar
• laMudri/generic-lr github similar
• flupe/generics github similar
• ericfinster/opetopic-types github similar
• ayberkt/simplc github similar
• mr-ohman/intuitionistic-normalization github similar
• javra/indind-agda github similar
• nmvdw/GrpdHITs github similar
• effectfully/Cubes github similar
• annenkov/trace-monoids github similar
• mikeshulman/ohtt github similar
• IanOrton/decomposing-univalence github similar
• jashug/ConstructingII github similar
• silvanshade/agda-nr-cats github similar
• RobertHarper/pfpl-defns github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• groupoid/anders github similar
• maxsnew/virtual-equipments github similar
• ericfinster/catt.io github similar
• nachivpn/k github similar
• andrejbauer/higher-rank-syntax github similar
• ericfinster/higher-alg github similar
• AndrasKovacs/polynomial-model github similar