Similar repositories to mikeshulman/agda-infinity-categories:

• mikeshulman/agda-infinity-categories github similar
• casvdrest/agda-finally-tagless github similar
• jfdm/tears-in-the-rain github similar
• StergiosCha/MTT-semantics_book github similar
• mchristianl/synthetic-reals github similar
• jespercockx/telescopic github similar
• JacquesCarette/agda-algebras github similar
• neel-krishnaswami/ott-example github similar
• konn/realisability github similar
• nad/dependent-lenses github similar
• jonsterling/effectful-typesetting github similar
• mattam82/groupoid github similar
• andrejbauer/dependent-type-theory-syntax github similar
• Deducteam/SizeChangeTool github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• punkdit/categories github similar
• Trebor-Huang/agda-linear github similar
• AndrasKovacs/qiit-generalizations github similar
• metaocaml/metaocaml-opam github similar
• andreasabel/universal-algebra github similar
• peterlefanulumsdaine/palmgren-archive github similar
• phadej/staged github similar
• ualib/ualib.github.io github similar
• agda/package-index github similar
• IanOrton/cubical-topos-experiments github similar
• tomdjong/domain-theory-in-uf github similar
• ericfinster/opetopic-types github similar
• jmlowenthal/agda-c github similar
• limemloh/cubical-congruence github similar
• conal/agda-cat-linear github similar
• thibautbenjamin/catt github similar
• alhassy/org-agda-mode github similar
• UlfNorell/agda-bench github similar
• ualib/agda-algebras github similar
• andrejbauer/higher-rank-syntax github similar
• UlfNorell/quasi-quote github similar
• nachivpn/k github similar
• andrejbauer/miniLCF github similar
• lambdabetaeta/modal-logics github similar
• FrozenWinters/SbE github similar