samarthkishor / crafting-interpreters
An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
☆13Updated 4 years ago
Alternatives and similar repositories for crafting-interpreters:
Users that are interested in crafting-interpreters are comparing it to the libraries listed below
- Lox language implemented in OCaml☆14Updated 4 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 5 months ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆12Updated 3 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆26Updated 2 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 5 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 3 years ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- Compiler for a very restricted subset of OCaml☆24Updated 9 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Programs that are used in the Cousineau/Mauny books☆31Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Playing with type systems☆48Updated 3 weeks ago
- OCaml hacking ideas, small and large.☆19Updated 9 months ago
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆33Updated 10 months ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- ☆14Updated last year
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 7 months ago
- The LLVM tutorial using OCaml☆27Updated last year
- Learn Ocaml by reading code examples☆70Updated 2 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆88Updated 6 years ago
- Runtime assertion checking based on Gospel specifications☆44Updated this week
- 2d game engine for OCaml☆59Updated 3 weeks ago
- Tools for record-and-replay debugging☆43Updated last year
- A simple multi-format pretty-printer for Menhir.☆56Updated 6 months ago
- Path tracer live coded in stream☆19Updated 4 years ago