Similar repositories to barras/abstract-machines:

• barras/abstract-machines github similar
• quinn-dougherty/gtf github similar
• ehildenb/homod github similar
• jonsterling/sml-pronominal-ml github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-spreads github similar
• noamz/linlam-gos github similar
• lucaspena/coinduction github similar
• juanbono/haskell-course github similar
• bollmann/tapl github similar
• MathiasVP/Alpha github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• uelis/modular github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• arianvp/types-and-statemachines github similar
• cwtsteven/DGoIM-Compiler github similar
• pruvisto/TRS github similar
• hazelgrove/artifact-popl17 github similar
• pigworker/BiF github similar
• andreasabel/lambda-definability github similar
• ZhiruiLi/EoplLangs github similar
• JohnReppy/sml-compiler-utils github similar
• joom/herbrand-prolog github similar
• JasonGross/lob-paper github similar
• cj-xu/GentzenTrans github similar
• joom/thesis-modal github similar
• juanbono/tapl-haskell github similar
• cocreature/pfpl-redex github similar
• hzafar/pfpl-in-racket github similar
• eyeKill/xv6 github similar
• egnchen/xv6 github similar
• thautwarm/typed-bnf-csharp-demo github similar
• thautwarm/typed-jsonrpc github similar
• yannham/visual-goi github similar
• RedPRL/sml-cats github similar
• ayberkt/sml-system-f github similar
• RedPRL/sml-final-pretty-printer github similar