gaultier / lox-ocamlLinks
Implementation of the Lox language in OCaml
☆15Updated 5 years ago
Alternatives and similar repositories for lox-ocaml
Users that are interested in lox-ocaml are comparing it to the libraries listed below
Sorting:
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- Lox language implemented in OCaml☆14Updated 4 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- Path tracer live coded in stream☆19Updated 4 years ago
- A pretty-printing combinator library for OCaml☆51Updated 10 months ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 10 months ago
- Match compilation algorithm in OCaml☆27Updated 4 months ago
- A type-safe, stack-based functional programming language☆16Updated 4 months ago
- OCaml library for manipulating context-free grammars☆20Updated 5 months ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 3 years ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated 2 years ago
- A compiler for the Xi programming language☆10Updated 8 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆24Updated 2 years ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 4 years ago
- Ocaml multimedia library☆30Updated 3 years ago
- ☆23Updated 8 months ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated 5 months ago
- Playing with type systems☆51Updated 5 months ago
- A simple state-machine framework for OCaml based on QCheck☆66Updated 3 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆60Updated last week
- A dependent type theory with user defined data types☆46Updated 3 years ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- 🐫🎮 OCaml Game Engine☆43Updated 3 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 2 weeks ago
- Library for color and formatting in the terminal☆21Updated 2 years ago