jordanly / SML-Tiger-Compiler
A Tiger compiler written in SML.
☆11Updated 9 years ago
Related projects: ⓘ
- 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☆101Updated 9 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 13 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated last month
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- Toy compiler implementation in OCaml☆22Updated 8 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 9 years ago
- yet another toy OCaml interpreter in Haskell☆13Updated 4 years ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- Bytecode compiler of a variant of Caml☆31Updated 9 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆10Updated 5 years ago
- Notes on higher-order typed compilation. Probably wrong☆22Updated last year
- Implementations from Benjamin Pierce's "Types and Programming Languages" book☆32Updated 5 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆17Updated 11 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Dafny for Metatheory of Programming Languages☆21Updated last week
- Educational Proof Assistant for Type Theory☆72Updated last month
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- MLpolyR☆7Updated 8 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 2 years ago
- ☆54Updated last year
- Okasaki's Purely Functional Data Structures in OCaml☆40Updated 11 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆45Updated 6 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆142Updated 5 years ago
- A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2☆77Updated 4 years ago
- LVC verified compiler☆57Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆86Updated 5 years ago
- ☆41Updated 5 years ago
- Java-like Language with Static Information Flow Types☆10Updated 2 years ago