Similar repositories to martinescardo/HoTTEST-Summer-School:

• martinescardo/HoTTEST-Summer-School github similar
• danistefanovic/build-your-own-x github similar
• oven-sh/bun github similar
• plt-amy/1lab github similar
• UniMath/agda-unimath github similar
• HoTT/EPIT-2020 github similar
• hecrj/iced github similar
• andrejbauer/homotopy-type-theory-course github similar
• RobertHarper/hott-notes github similar
• HoTT-Intro/Agda github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• agda/agda-categories github similar
• banacorn/agda-mode-vscode github similar
• martinescardo/TypeTopology github similar
• andrejbauer/notes-on-realizability github similar
• agda/cubical github similar
• tweag/awesome-learning-haskell github similar
• ronami/HypeScript github similar
• DimaSamoz/agda-soas github similar
• RedPRL/cooltt github similar
• FrozenWinters/stlc github similar
• jonsterling/dreamtt github similar
• AndrasKovacs/staged github similar
• roc-lang/roc github similar
• gibiansky/IHaskell github similar
• edwinb/Yaffle github similar
• scmu/aopa github similar
• pamellies/models-of-programming-languages github similar
• msp-strath/TypOS github similar
• UniMath/SymmetryBook github similar
• EgbertRijke/HoTT-Intro github similar
• AndrasKovacs/smalltt github similar
• digama0/lean-type-theory github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• mikeshulman/ohtt github similar
• gallais/agdarsec github similar
• wenkokke/schmitty github similar
• banacorn/agda-language-server github similar
• aya-prover/aya-dev github similar