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☆25Updated 9 years ago
- Playing with type systems☆51Updated 9 months ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Path tracer live coded in stream☆19Updated 5 years ago
- Compile OCaml to standalone ANSI C file☆44Updated 4 months ago
- LablGL: an openGL interface for OCaml☆24Updated last year
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Match compilation algorithm in OCaml☆30Updated 7 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆63Updated this week
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 4 years ago
- A type-safe, stack-based functional programming language☆16Updated 7 months ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆24Updated 3 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago
- Purely functional GUI algebra☆79Updated 6 months ago
- Runtime assertion checking based on Gospel specifications☆50Updated 3 weeks ago
- A toy language based on LLVM that implements the System Fω type-system☆113Updated 2 years ago
- A declarative command-line parser for OCaml☆44Updated 2 weeks ago
- LablTk, an OCaml interface for Tcl/Tk☆35Updated 8 months ago
- A library with an encoding of higher kinded types in OCaml☆40Updated this week
- Lox language implemented in OCaml☆14Updated 5 years ago
- Tools for record-and-replay debugging☆43Updated 2 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆29Updated 8 months ago
- Library for color and formatting in the terminal☆21Updated 2 years ago
- Algebraic structures in OCaml.☆25Updated 2 weeks ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago