eudoxia0 / parsing-menhirLinks
Code for a tutorial on parsing with Menhir
☆14Updated 3 years ago
Alternatives and similar repositories for parsing-menhir
Users that are interested in parsing-menhir are comparing it to the libraries listed below
Sorting:
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- SML reference interpreter☆116Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- Standard ML Parser Combinator Library☆16Updated 9 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- Playing with type systems☆51Updated 5 months ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- A stepping debugger for Standard ML (SML)☆26Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- Parallel ML compiler☆73Updated 5 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Pocket sized programs☆57Updated this week
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A deterministic parser with fused lexing☆73Updated last year
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago
- racket llvm C-API bindings☆17Updated 6 months ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Implementation of the Lox language in OCaml☆15Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- HTTP utility library for Standard ML☆11Updated last year
- A benchmark suite for the OCaml compiler☆83Updated 10 months ago
- SKI combinators☆55Updated 8 years ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago