jordanly / SML-Tiger-Compiler
A Tiger compiler written in SML.
☆11Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for SML-Tiger-Compiler
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Updated 11 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆103Updated 9 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 13 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- Toy compiler implementation in OCaml☆21Updated 9 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- yet another toy OCaml interpreter in Haskell☆13Updated 4 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- MLpolyR☆7Updated 8 years ago
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆17Updated 11 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆10Updated 5 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆142Updated 6 years ago
- The language of the future!☆72Updated 10 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Notes on higher-order typed compilation. Probably wrong☆22Updated 2 years ago
- Java-like Language with Static Information Flow Types☆10Updated 2 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- code examples and my solution to the exercises in the book Functional Programming in OCaml☆10Updated 5 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago