Similar repositories to gergoerdi/universe-of-syntax:

• gergoerdi/universe-of-syntax github similar
• sergei-romanenko/chapman-big-step-normalization github similar
• effectfully/random-stuff github similar
• sto0pkid/CategoryTheory github similar
• groupoid/anders github similar
• inc-lc/ilc-agda github similar
• lives-group/time-complexity-verification github similar
• gallais/agdarky github similar
• sstucki/pts-agda github similar
• fsestini/nbe-weak-stlc github similar
• gergoerdi/stlc-agda github similar
• gallais/typing-with-leftovers github similar
• jonsterling/itt-bidirectional github similar
• ollef/region github similar
• RobertHarper/hott-notes github similar
• pigworker/LibAgda github similar
• pigworker/Ohrid-Agda github similar
• sayon/coq-cata github similar
• awodey/Impredicative github similar
• Kha/semantics-lean github similar
• aquynh/capstone github similar
• hecrj/iced github similar
• anoma/juvix-archived github similar
• ReactTraining/react-router github similar
• armoredsoftware/session github similar
• nachivpn/coherence github similar
• heliaxdev/witch github similar
• pixijs/pixi.js github similar
• effectfully/Eff github similar
• MrChico/Reals-in-agda github similar
• AndrasKovacs/misc-stuff github similar
• tomjaguarpaw/H2 github similar
• jashug/WhyNotW github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• andreasabel/type-preserving-cps github similar
• ernius/genericBindingFramework github similar
• L-TChen/MtacAR github similar
• Blaisorblade/Agda-playground github similar
• clayrat/idris-linear github similar
• ezrosent/TAPL-idris github similar