samarthkishor / crafting-interpreters
An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
☆13Updated 5 years ago
Alternatives and similar repositories for crafting-interpreters
Users that are interested in crafting-interpreters are comparing it to the libraries listed below
Sorting:
- Lox language implemented in OCaml☆14Updated 4 years ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 9 months ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- A pretty-printing combinator library for OCaml☆51Updated 9 months ago
- A toy language based on LLVM that implements the System Fω type-system☆108Updated last year
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated last month
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 3 years ago
- Playing with type systems☆50Updated 4 months ago
- A collection of programming languages and type systems.☆33Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆40Updated 10 months ago
- Implementation of the Lox language in OCaml☆15Updated 5 years ago
- OCaml plus Jane Street extensions☆74Updated 10 months ago
- 🩺 A library for compiler diagnostics☆45Updated 3 months ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- ☆14Updated last year
- 🦠 Reusable components based on algebraic effects☆50Updated 7 months ago
- OCaml hacking ideas, small and large.☆19Updated last year
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- A simple scheduler for OCaml 5☆105Updated last month
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- The LLVM tutorial using OCaml☆30Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago