Pinned Repositories
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
haskell-tapl
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
lisp-llvm-compiler
Toy Lisp-to-llvm IR compiler
secd-ocaml
SECD Machine and S-expression Compiler in OCaml
zehnpaard's Repositories
zehnpaard/gc
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
zehnpaard/min-exp-ml
Minimal Experimental ML (based on MinCaml)
zehnpaard/SATySFi
A statically-typed, functional typesetting system
zehnpaard/zehnpaard.github.io
zehnpaard/sicp_evaluator
A non-meta-cyclical (Lisp in ML) evaluator based on SICP
zehnpaard/eopl-ocaml
Essentials of Programming Languages in OCaml
zehnpaard/kontlang
Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset
zehnpaard/implementing-functional-languages
Workthrough of "Implementing Functional Languages: a tutorial" by Simon Peyton Jones and David Lester
zehnpaard/parser-combinator-ocaml
Parser Combinators in OCaml based on F# tutorial https://fsharpforfunandprofit.com/posts/understanding-parser-combinators/
zehnpaard/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
zehnpaard/essentials-of-compilation
Workthrough of Essentials of Compilation
zehnpaard/ozkernel-ocaml
OCaml implementation of the Oz kernel language
zehnpaard/mincaml
Workthrough of the MinCaml compiler as described in http://esumii.github.io/min-caml/ and http://esumii.github.io/min-caml/paper.pdf
zehnpaard/Middle-Earth-Xemono
Implementing code snippets from Real World OCaml in the Xemono language
zehnpaard/xemono
Xemono language
zehnpaard/secd-ocaml
SECD Machine and S-expression Compiler in OCaml
zehnpaard/cpython
The Python programming language
zehnpaard/kaleidoscope-ocaml-menhir
Workthrough of http://llvm.org/docs/tutorial/OCamlLangImpl1.html using Menhir as parser generator
zehnpaard/ipl-ocaml
Implementing Programming Languages implemented in OCaml
zehnpaard/ocaml-tapl
Work through of implementation code for Types and Programming Languages in OCaml
zehnpaard/eopl-racket
Racket code for the Essentials of Programming Languages book
zehnpaard/sicp-racket
Working through Structure and Interpretation of Computer Programs in Racket
zehnpaard/python-bytecode-interpreter
Based on https://github.com/nedbat/byterun and https://github.com/aosabook/500lines
zehnpaard/tiny-python-interpreter
Stack machine interpreter based on https://github.com/nedbat/byterun and 500 Lines of Code
zehnpaard/paip-cl
Paradigms of Artificial Intelligence Programming workthrough in Common Lisp
zehnpaard/competitive-programming
Repo for notes and solutions to competitive programming
zehnpaard/pythonic-forth
Forth Interpreter written in Python
zehnpaard/haskell-tapl
Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages
zehnpaard/lisp-llvm-compiler
Toy Lisp-to-llvm IR compiler
zehnpaard/lisp-repl