Similar repositories to gergoerdi/stlc-agda:

• gergoerdi/stlc-agda github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• jonsterling/sml-spreads github similar
• jonsterling/ocaml-abt github similar
• danistefanovic/build-your-own-x github similar
• shaunlebron/parinfer github similar
• jonsterling/agda-nominal-sets github similar
• RobertHarper/hott-notes github similar
• gallais/agda-presburger github similar
• jmchapman/Big-step-Normalisation github similar
• inc-lc/ilc-agda github similar
• CoqHott/coq-effects github similar
• pigworker/BiF github similar
• wenkokke/FirstOrderUnificationInAgda github similar
• jonsterling/agda-abt github similar
• sstucki/pts-agda github similar
• ezyang/lr-agda github similar
• joom/regexp-agda github similar
• heades/cut-fill-agda github similar
• gergoerdi/universe-of-syntax github similar
• ak3n/abt-zoo github similar
• jonsterling/hs-abt github similar
• plt-hokusai/ahc github similar
• ezyang/backpack-examples github similar
• effectfully/STLC github similar
• gelisam/worldly github similar
• MetaBorgCube/oopsla18-artifact github similar
• andrejtokarcik/agda-semantics github similar
• nachivpn/coherence github similar
• uds-psl/autosubst-ocaml github similar
• pixijs/pixi.js github similar
• jonsterling/sml-kripke-schema github similar
• jonsterling/sml-abt github similar
• jonsterling/twelf-itt github similar
• precog/quasar github similar
• ehildenb/homod github similar
• jonsterling/sml-pronominal-ml github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar