samarthkishor / crafting-interpretersLinks
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
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- Modern Compiler Implementation in ML (OCaml)☆7Updated 5 years ago
- A pretty-printing combinator library for OCaml☆51Updated 9 months ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆41Updated 6 months ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆24Updated 2 years ago
- A toy language based on LLVM that implements the System Fω type-system☆109Updated last year
- Playing with type systems☆51Updated 5 months ago
- Implementation of the Lox language in OCaml☆15Updated 5 years ago
- OCaml hacking ideas, small and large.☆18Updated last year
- 🩺 A library for compiler diagnostics☆46Updated 4 months ago
- OCaml plus Jane Street extensions☆74Updated 10 months ago
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- ☆14Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆74Updated last month
- Fuzzy type search for OCaml documentation☆81Updated 10 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- Algebraic structures in OCaml.☆23Updated 2 months ago
- A declarative command-line parser for OCaml☆43Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆63Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- A small library to output memory graph for ocaml values☆37Updated 11 months ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆28Updated 2 months ago
- 🐫🎮 OCaml Game Engine☆43Updated 2 months ago
- A simple scheduler for OCaml 5☆106Updated this week