ludwigpacifici / saumon
Lox language implemented in OCaml
☆14Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for saumon
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆13Updated 4 years ago
- A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code☆27Updated 2 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- A toy language based on LLVM that implements the System Fω type-system☆103Updated last year
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 3 months ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆56Updated 4 years ago
- OCaml bindings for the Orx game engine☆51Updated 2 years ago
- Implementation of the Lox language in OCaml☆14Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Playing with type systems☆46Updated 2 years ago
- Algebraic structures in OCaml.☆21Updated this week
- A small example of a source->source pattern matching to decision tree compiler☆14Updated 4 years ago
- LablGL: an openGL interface for OCaml☆23Updated 10 months ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 5 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆53Updated 12 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆25Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated last year
- A simple monadic parser combinator library for OCaml☆65Updated 2 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
- Nice parsers in OCaml without the boilerplate☆125Updated 6 months ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- A ML-like pure functional language that can be used as a template for creating your own language☆27Updated last year
- The official compiler for the Quartz programming language☆29Updated 6 years ago
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- Abstract engine for text edition in OCaml☆122Updated last year