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