Similar repositories to CMU-HoTT/scott:

• danistefanovic/build-your-own-x github similar
• CMU-HoTT/scott github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• HoTT-Intro/Agda github similar
• martinescardo/TypeTopology github similar
• DimaSamoz/agda-soas github similar
• guillaumebrunerie/initiality github similar
• awodey/CatLogNotes github similar
• mikeshulman/catlog github similar
• pamellies/lambda-calculus-and-categories github similar
• jonsterling/dreamtt github similar
• andrejbauer/notes-on-realizability github similar
• tuvtran/project-based-learning github similar
• AndrasKovacs/thesis github similar
• mikeshulman/ohtt github similar
• ualib/ualib.github.io github similar
• pamellies/models-of-programming-languages github similar
• jonsterling/agda-calf github similar
• mr-ohman/logrel-mltt github similar
• msp-strath/TypOS github similar
• stedolan/counterexamples github similar
• ericfinster/opetopic-types github similar
• Trebor-Huang/Down-The-Path github similar
• Guest0x0/normalization-bench github similar
• peterlefanulumsdaine/general-type-theories github similar
• FrozenWinters/stlc github similar
• agda/agda-categories github similar
• exaloop/codon github similar
• mortberg/gen-cart github similar
• AndrasKovacs/polynomial-model github similar
• RedPRL/algaeff github similar
• mattearnshaw/lawvere github similar
• RedPRL/stagedtt github similar
• ejgallego/coq-lsp github similar
• HoTT/EPIT-2020 github similar
• andreasabel/miniagda github similar
• jonsterling/coq-domains github similar
• felixwellen/DCHoTT-Agda github similar
• RedPRL/mugen github similar