Similar repositories to InitialTypes/Club:

• InitialTypes/Club github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• fredefox/cat github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• RobertHarper/hott-notes github similar
• Eloston/ungoogled-chromium github similar
• mr-ohman/logrel-mltt github similar
• andreasabel/ipl github similar
• bellissimogiorno/nominal github similar
• scmu/foundations-harper github similar
• ReactTraining/react-router github similar
• jespercockx/reflection-tutorial github similar
• L-TChen/MtacAR github similar
• andreasabel/miniagda github similar
• mietek/imla2017 github similar
• lambdabetaeta/modal-logics github similar
• effectfully/OTT github similar
• jespercockx/ataca github similar
• sweirich/corespec github similar
• sstucki/system-f-agda github similar
• JLimperg/cats github similar
• ericfinster/higher-alg github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• peterlefanulumsdaine/general-type-theories github similar
• mikeshulman/catlog github similar
• scmu/aopa github similar
• wenkokke/AutoInAgda github similar
• andreasabel/helf github similar
• UlfNorell/agda-prelude github similar
• dschepler/coq-sequent-calculus github similar
• dlicata335/cart-cube github similar
• TheoWinterhalter/formal-type-theory github similar
• ericfinster/opetopic-types github similar
• effectfully/Generic github similar
• thibautbenjamin/catt github similar
• Saizan/cubical-demo github similar
• gallais/potpourri github similar
• andrejbauer/miniLCF github similar