gaultier / lox-ocaml
Implementation of the Lox language in OCaml
☆15Updated 4 years ago
Alternatives and similar repositories for lox-ocaml:
Users that are interested in lox-ocaml are comparing it to the libraries listed below
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- Path tracer live coded in stream☆19Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 4 years ago
- Runtime assertion checking based on Gospel specifications☆44Updated 2 weeks ago
- Tools for record-and-replay debugging☆43Updated last year
- NES emulator in OCaml☆37Updated last year
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- A basic snake game with js_of_ocaml.☆12Updated 7 years ago
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Playing with type systems☆48Updated last month
- multi-shot continuations in OCaml☆47Updated 3 weeks ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- 🩺 A library for compiler diagnostics☆38Updated last month
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Visualization tool for your IO-uring workload☆14Updated 5 months ago
- Algebraic structures in OCaml.☆24Updated 2 weeks ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last week
- Property-based testing at ease☆42Updated 3 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆12Updated 3 years ago
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 3 years ago
- ☆23Updated 3 months ago
- A simple λProlog interpreter☆20Updated 3 years ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago