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
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- self-hosted compiler for a subset of OCaml☆50Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Updated 9 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
- Self-hosting F#-subset compiler☆46Updated 4 months ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Implementation of the Lox language in OCaml☆14Updated 4 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆29Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated this week
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Hindley-Milner type inference using constraints☆50Updated 7 years ago
- Generic unification-based type inference library☆25Updated 9 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Coq plugin for monomorphization and C code generation☆33Updated this week
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- L-system interpreter in OCaml☆22Updated 8 years ago
- OCaml interpreter☆99Updated 5 years ago