Similar repositories to mr-ohman/logrel-mltt:

• mr-ohman/logrel-mltt github similar
• gibiansky/IHaskell github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• metaborg/linear.agda github similar
• laMudri/generic-lr github similar
• smlnj/smlnj github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• jonsterling/coq-domains github similar
• effectfully/OTT github similar
• andreasabel/strong-normalization github similar
• effectfully/Generic github similar
• sstucki/pts-agda github similar
• L-TChen/MtacAR github similar
• jespercockx/ataca github similar
• jespercockx/agda2scheme github similar
• gallais/typing-with-leftovers github similar
• Trebor-Huang/Down-The-Path github similar
• arthuraa/agda-hoas-demo github similar
• ralsei/six-eyes github similar
• agda/ooAgda github similar
• Eloston/ungoogled-chromium github similar
• pixijs/pixi.js github similar
• dorchard/effects-as-sessions github similar
• Toxaris/pts github similar
• flupe/generics github similar
• julianhyde/morel github similar
• ziman/itt-idris github similar
• RedPRL/kado github similar
• kckennylau/mathlib4 github similar
• andreasabel/helf github similar
• kcsmnt0/quotient github similar
• lambdabetaeta/modal-logics github similar
• fredefox/cat github similar
• bobatkey/agda-metric-reals github similar
• RedPRL/algaett github similar
• jonsterling/agda-effectful-forcing github similar
• pamellies/models-of-programming-languages github similar
• effectfully/STLC github similar