gaultier / lox-ocaml
Implementation of the Lox language in OCaml
☆14Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for lox-ocaml
- Lox language implemented in OCaml☆14Updated 4 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Runtime assertion checking based on Gospel specifications☆38Updated last week
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- NES emulator in OCaml☆37Updated last year
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Tools for record-and-replay debugging☆42Updated last year
- 🩺 A library for compiler diagnostics☆35Updated last week
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated last year
- Library for color and formatting in the terminal☆20Updated 2 years ago
- Playing with type systems☆46Updated 3 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- ☆22Updated last month
- A basic snake game with js_of_ocaml.☆12Updated 7 years ago
- A library with an encoding of higher kinded types in OCaml☆39Updated 2 weeks ago
- Path tracer live coded in stream☆19Updated 4 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- 2d game engine for OCaml☆55Updated last month
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 3 years ago
- An OCaml library providing a C parser and lexer☆40Updated 2 weeks ago
- A safer FFI interface for OCaml☆11Updated 4 months ago
- Algebraic structures in OCaml.☆23Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 5 months ago
- A dependent type theory with user defined data types☆45Updated 3 years ago
- Getting started with ocaml-rs☆31Updated 2 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Persistent vectors for OCaml☆41Updated 6 years ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- A Framework for building Batched Concurrent Services☆20Updated last month