Similar repositories to anuyts/menkar:

• anuyts/menkar github similar
• m-yac/tt-in-cagda github similar
• Lapin0t/induction-recursion github similar
• AndrasKovacs/preordertt github similar
• jonsterling/lecture-notes github similar
• mikeshulman/dirtt github similar
• oisdk/agda-ring-solver github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• effectfully/Cubes github similar
• groupoid/anders github similar
• TOTBWF/agda-sgd github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• ziman/itt-idris github similar
• DavidJaz/Cohesion github similar
• RobertHarper/hott-notes github similar
• gallais/agda-sizedIO github similar
• jonsterling/coq-domains github similar
• fredefox/cat github similar
• AndrasKovacs/polynomial-model github similar
• superhaNds/cwfs github similar
• smimram/catt github similar
• IanOrton/cubical-topos-experiments github similar
• L-TChen/MtacAR github similar
• ecavallo/ptt github similar
• logsem/mitten_preorder github similar
• maxsnew/virtual-equipments github similar
• effectfully/OTT github similar
• dlicata335/cart-cube github similar
• AndrasKovacs/qiit-generalizations github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• UlfNorell/x86-agda github similar
• pigworker/Syrup github similar
• jonsterling/agda-stc github similar
• pigworker/Saturday github similar
• jashug/WhyNotW github similar
• Deducteam/Agda2Dedukti github similar
• ayberkt/Mini-TT github similar
• ericfinster/catt github similar