skrah / minicaml
Compiler for a very restricted subset of OCaml
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for minicaml
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- A tiny OCaml compiler with JVM backend 🐫☕️☆10Updated 5 years ago
- self-hosted compiler for a subset of OCaml☆50Updated 5 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆53Updated 12 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- Example row-polymorphism implementations☆59Updated last year
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆97Updated last year
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Compiler for Tiger based on Andrew Appel's Modern Compiler Implementation in ML☆58Updated 13 years ago
- Bytecode compiler of a variant of Caml☆31Updated 9 years ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated last month
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Updated 8 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 3 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆88Updated 2 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 4 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Multiparty Session Types in OCaml☆57Updated last week
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 5 months ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- Self-hosting F#-subset compiler☆46Updated 4 months ago
- Examples from the class CMSC 330 during Summer 2015☆48Updated 9 years ago