Similar repositories to PalindromeLeung/STLC_2Cap:

• PalindromeLeung/STLC_2Cap github similar
• andreasabel/universal-algebra github similar
• andrejbauer/higher-rank-syntax github similar
• UlfNorell/quasi-quote github similar
• FrozenWinters/SbE github similar
• yallop/metaocaml-letrec github similar
• Blaisorblade/dot-iris github similar
• umazalakain/typing-linear-pi github similar
• barry-jay-personal/tree-calculus github similar
• jonsterling/agda-calf github similar
• mr-ohman/logrel-mltt github similar
• bellissimogiorno/nominal github similar
• mit-pdos/mcqc github similar
• JacquesCarette/finally-tagless github similar
• euisuny/best-of-popl github similar
• DimaSamoz/agda-soas github similar
• TiarkRompf/lms-clean github similar
• metaocaml/ber-metaocaml github similar
• Kraks/sai github similar
• samuelgruetter/dot-calculus github similar
• sweirich/corespec github similar
• wenkokke/schmitty github similar
• ferrite-rs/ferrite github similar
• slindley/effect-handlers github similar
• koka-lang/libmprompt github similar
• scala/scala-continuations github similar
• gasche/popl2018-papers github similar
• lpw25/girards-paradox github similar
• edwinb/SPLV20 github similar
• uclid-org/uclid github similar
• pigworker/MetaprogAgda github similar
• jozefg/nbe-for-mltt github similar
• DeepSpec/InteractionTrees github similar
• stchang/macrotypes github similar
• miniKanren/TheReasonedSchemer github similar
• mit-plv/riscv-semantics github similar
• b-studios/scala-effekt github similar
• namin/dot github similar
• GeoCoq/GeoCoq github similar
• Beluga-lang/Beluga github similar