Alternatives and similar repositories for saumon:

Users that are interested in saumon are comparing it to the libraries listed below

• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 4 years ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆15Updated 4 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆106Updated last year
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated 5 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 5 months ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆25Updated 2 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆88Updated 6 years ago
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆58Updated 5 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆96Updated 4 months ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆31Updated 3 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆62Updated last year
• LesleyLai / ocamlpt
  Path tracer live coded in stream
  ☆19Updated 4 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• effect-handlers / wasm-spec
  WebAssembly specification, reference interpreter, and test suite.
  ☆13Updated last year
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆65Updated last month
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 weeks ago
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago