jordanly / SML-Tiger-Compiler
A Tiger compiler written in SML.
☆12Updated 9 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
- A simple Tiger to MIPS compiler, written in Standard-ML☆23Updated 11 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆59Updated 14 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆25Updated 8 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆104Updated 9 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 8 months ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 12 years ago
- Java-like Language with Static Information Flow Types☆11Updated 3 years ago
- Toy compiler implementation in OCaml☆20Updated 9 years ago
- A tiger compiler using FLEX, BISON and LLVM☆11Updated 11 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- yet another toy OCaml interpreter in Haskell☆12Updated 4 years ago
- Go! Lisp in OCaml☆75Updated 12 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- Examples and exercises for the OCaml Book "OCaml from the Very Beginning"☆34Updated 3 years ago
- MLpolyR☆7Updated 8 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- some old code about scheme compiler I've ever wrote☆14Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 3 months ago
- Compile-time metaprogramming for OCaml☆73Updated 8 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- Optimizing Abstract Abstract Machines☆30Updated 8 years ago