Similar repositories to L-TChen/ModalTypeTheory:

• L-TChen/ModalTypeTheory github similar
• danistefanovic/build-your-own-x github similar
• AndrasKovacs/stlc-nbe github similar
• andreasabel/ipl github similar
• heliaxdev/witch github similar
• lambdabetaeta/modal-logics github similar
• Zekt/Type-Embellishment github similar
• groupoid/anders github similar
• shaunlebron/parinfer github similar
• JasonGross/lob-paper github similar
• jespercockx/telescopic github similar
• andrejbauer/higher-rank-syntax github similar
• metaborg/linear.agda github similar
• jonsterling/agda-effectful-forcing github similar
• jonsterling/coq-domains github similar
• JLimperg/well-founded-corecursion github similar
• cj-xu/OrdinalNotations github similar
• RobertHarper/hott-notes github similar
• FrozenWinters/SbE github similar
• conal/agda-cat-linear github similar
• limemloh/cubical-congruence github similar
• L-TChen/Type-Theory github similar
• andrejbauer/clerical github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• sweirich/lennart-lambda github similar
• nachivpn/k github similar
• flux-rs/flux github similar
• conal/Collaboration github similar
• gibiansky/IHaskell github similar
• DanBurton/haskell-src-meta github similar
• meilisearch/MeiliSearch github similar
• exaloop/codon github similar
• casvdrest/composable.agda github similar
• tuvtran/project-based-learning github similar
• AndrasKovacs/polynomial-model github similar
• josh-hs-ko/FLOLAC-14 github similar
• lastland/ClairvoyanceMonad github similar
• bobatkey/system-f-parametricity-model github similar
• L-TChen/MtacAR github similar
• michaelsproul/dblib-linear github similar