jordanly / SML-Tiger-Compiler
A Tiger compiler written in SML.
☆12Updated 10 years ago
Alternatives and similar repositories for SML-Tiger-Compiler
Users that are interested in SML-Tiger-Compiler are comparing it to the libraries listed below
Sorting:
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 8 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 14 years ago
- 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☆102Updated 9 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 9 months ago
- Toy compiler implementation in OCaml☆20Updated 9 years ago
- Modern Compiler Implementation in ML☆11Updated 8 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Ocaml code from Writing an Interpreter in Go☆10Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆11Updated 6 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- MLpolyR☆7Updated 8 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- Bytecode compiler of a variant of Caml☆34Updated 9 years ago
- Minimum docker images for OCaml+OPAM☆16Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- The language of the future!☆72Updated last year
- A splay tree implementation.☆13Updated 2 weeks ago
- Simple implementation of a parsing algorithm inspired by Earley☆14Updated 3 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆149Updated 3 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A Compiler and Type Inference System for a subset of Standard ML called Small.☆13Updated 7 years ago
- Compile-time metaprogramming for OCaml☆73Updated 9 months ago
- yet another toy OCaml interpreter in Haskell☆12Updated 4 years ago