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
Related projects ⓘ
Alternatives and complementary repositories for crafting-interpreters
- Lox language implemented in OCaml☆14Updated 4 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 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☆47Updated 3 months ago
- The LLVM tutorial using OCaml☆25Updated last year
- The Flambda backend project for OCaml☆112Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 5 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- A simple multi-format pretty-printer for Menhir.☆55Updated 3 months ago
- A simple scheduler for OCaml 5☆93Updated last month
- OCaml plus Jane Street extensions☆72Updated 3 months ago
- OCaml linter☆67Updated 2 weeks ago
- Playing with type systems☆46Updated 2 years ago
- Fuzzy type search for OCaml documentation☆72Updated 3 months ago
- A statically-typed programming language based on "F-ing modules"☆80Updated 4 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆34Updated 2 weeks ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- Nice parsers in OCaml without the boilerplate☆125Updated 6 months ago
- Monitor Eio programs☆77Updated 8 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- An experimental language server for SomewhatML☆24Updated last year
- ☆54Updated 2 weeks 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…☆39Updated 4 months ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- Lock-free data structures for multicore OCaml☆202Updated last week
- Tools for record-and-replay debugging☆42Updated last year
- A collection of programming languages and type systems.☆33Updated 2 months ago