Similar repositories to ericfinster/opetopes-in-agda:

• ericfinster/opetopes-in-agda github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• uelis/contextual github similar
• mikeshulman/cohesivett github similar
• ericfinster/opetopic github similar
• pixijs/pixi.js github similar
• cacay/language-krill github similar
• IanOrton/decomposing-univalence github similar
• jonsterling/agda-abt github similar
• IanOrton/cubical-topos-experiments github similar
• TOTBWF/cubical-categories github similar
• inanna-malick/hgit github similar
• nbenton/coqdomains github similar
• Lapin0t/induction-recursion github similar
• mikeshulman/dirtt github similar
• jonsterling/racket-grit github similar
• konn/vscode-redtt-diagnostics github similar
• ericfinster/higher-alg github similar
• AndrasKovacs/preordertt github similar
• AndrasKovacs/qiit-generalizations github similar
• andrisaar/Type-Theory-Foundations github similar
• nmvdw/Three-HITs github similar
• twanvl/ttie github similar
• mattam82/opetopic-coq github similar
• ericfinster/catt github similar
• jonsterling/agda-effectful-forcing github similar
• msullivan/typecoin github similar
• m-yac/tt-in-cagda github similar
• guillaumebrunerie/SmashProduct github similar
• AHartNtkn/Kitmit github similar
• chrisamaphone/lfinlf github similar
• pcapriotti/agda-base github similar
• sellout/Idris-CPDT github similar
• pigworker/PolyTest github similar
• dorchard/effects-as-sessions github similar
• david-christiansen/Brainfun github similar
• superhaNds/cwfs github similar
• javra/indind-agda github similar
• thibautbenjamin/catt github similar