Similar repositories to hansbugge/cubicaltt:

• hansbugge/cubicaltt github similar
• anoma/juvix-archived github similar
• andreasabel/type-preserving-cps github similar
• andreasabel/sized-types github similar
• mcopes73/standardization-agda github similar
• fsestini/nbe-weak-stlc github similar
• tel/intone github similar
• asr/fotc github similar
• kofno/purescript-aws-lambda github similar
• L-TChen/ModalTypeTheory github similar
• andreasabel/ipl github similar
• forked-from-1kasper/anders github similar
• clayrat/idris-linear github similar
• bobatkey/algebraically-indexed-types github similar
• gallais/agdarky github similar
• gergoerdi/universe-of-syntax github similar
• effectfully/random-stuff github similar
• JorisCeulemans/sikkel github similar
• lambdabetaeta/modal-logics github similar
• AndrasKovacs/stlc-nbe github similar
• quchen/amoeba github similar
• ZongzheYuan/HaltingProblem github similar
• effectfully/Cubes github similar
• divipp/frp_agda github similar
• andreasabel/helf github similar
• gallais/typing-with-leftovers github similar
• proofengineering/proofengineering-bib github similar
• jespercockx/popl19-tutorial github similar
• effectfully/STLC github similar
• RobertHarper/hott-notes github similar
• gallais/agda-presburger github similar
• dorchard/effects-as-sessions github similar
• sweirich/lennart-lambda github similar
• Saizan/cubical-demo github similar
• pcapriotti/agda-categories github similar
• L-TChen/MtacAR github similar
• wilbowma/cic-redex github similar
• andreasabel/strong-normalization github similar
• metaborg/linear.agda github similar
• mr-ohman/logrel-mltt github similar