tmcgilchrist / tiger
Compiler for Tiger language from "Modern Compiler Implementation in ML"
☆17Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for tiger
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Algebraic structures in OCaml.☆21Updated this week
- A pretty-printing library in OCaml☆33Updated 4 years ago
- A splay tree implementation.☆13Updated 2 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- OCaml with macros☆54Updated last week
- Experimental functional language☆18Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- Owl Tutorial☆6Updated 4 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Programs that are used in the Cousineau/Mauny books☆29Updated 3 years ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year