Similar repositories to andrejbauer/higher-rank-syntax:

• andrejbauer/higher-rank-syntax github similar
• danistefanovic/build-your-own-x github similar
• limemloh/cubical-congruence github similar
• nachivpn/expelim github similar
• jonsterling/coq-domains github similar
• nachivpn/k github similar
• kckennylau/mathlib4 github similar
• andrejbauer/dependent-type-theory-syntax github similar
• silvanshade/cool-tt github similar
• HarrisonGrodin/agda-modtt github similar
• RobertHarper/pfpl-defns github similar
• ericfinster/opetopic-types github similar
• maxsnew/cubical-cbpv github similar
• TOTBWF/agda-sgd github similar
• martinescardo/EffectfulForcing github similar
• andreasabel/universal-algebra github similar
• niccoloveltri/final-pfin github similar
• amblafont/UniversalII github similar
• JacquesCarette/agda-algebras github similar
• TOTBWF/agda-groups github similar
• mmcqd/fibertt github similar
• AndrasKovacs/thesis github similar
• annenkov/trace-monoids github similar
• AndrasKovacs/polynomial-model github similar
• jonsterling/effectful-typesetting github similar
• JLimperg/well-founded-corecursion github similar
• nmvdw/GrpdHITs github similar
• mr-ohman/intuitionistic-normalization github similar
• pigworker/SmolCat github similar
• Zekt/Type-Embellishment github similar
• krassowski/jupyterlab-lsp github similar
• lsrcz/grisette github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• k6io/k6 github similar
• jonsterling/lecture-notes github similar
• meilisearch/MeiliSearch github similar
• raptazure/kweh github similar
• ualib/ualib.github.io github similar
• brendanzab/language-garden github similar