zehnpaard

kontlang. Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset

eopl-ocaml. Essentials of Programming Languages in OCaml

48hr-scheme-ocaml. Work through of Write Yourself a Scheme in 48 Hours, in OCaml https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours

pythonic-forth. Forth Interpreter written in Python

secd-ocaml. SECD Machine and S-expression Compiler in OCaml

haskell-tapl. Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages

lisp-llvm-compiler. Toy Lisp-to-llvm IR compiler

kaleidoscope-ocaml-menhir. Workthrough of http://llvm.org/docs/tutorial/OCamlLangImpl1.html using Menhir as parser generator

ocaml-tapl. Work through of implementation code for Types and Programming Languages in OCaml

mincaml. Workthrough of the MinCaml compiler as described in http://esumii.github.io/min-caml/ and http://esumii.github.io/min-caml/paper.pdf

lisp-repl. Haskell