Similar repositories to HoTT/EPIT-2020:

• HoTT/EPIT-2020 github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• RobertHarper/hott-notes github similar
• hecrj/iced github similar
• RedPRL/cooltt github similar
• Guest0x0/normalization-bench github similar
• UniMath/agda-unimath github similar
• nachivpn/k github similar
• Trebor-Huang/Down-The-Path github similar
• jonsterling/dreamtt github similar
• HoTT-Intro/Agda github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• HarrisonGrodin/agda-modtt github similar
• kcsmnt0/quotient github similar
• jonsterling/agda-calf github similar
• mikeshulman/catlog github similar
• AndrasKovacs/thesis github similar
• AndrasKovacs/staged github similar
• martinescardo/TypeTopology github similar
• RedPRL/stagedtt github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• ejgallego/coq-lsp github similar
• kangrongji/cubical-classics github similar
• wenkokke/schmitty github similar
• ReactTraining/react-router github similar
• danburkert/prost github similar
• jespercockx/ataca github similar
• metaocaml/metaocaml-bibliography github similar
• andrejbauer/homotopy-type-theory-course github similar
• AndrasKovacs/sett github similar
• banacorn/agda-language-server github similar
• vrahli/NuprlInCoq github similar
• tree-sitter/tree-sitter-agda github similar
• frex-project/agda-fragment github similar
• guillaumebrunerie/initiality github similar
• AndrasKovacs/polynomial-model github similar
• FrozenWinters/stlc github similar