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
• 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
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated 7 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆27Updated 9 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆107Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 6 months ago
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆15Updated 4 years 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
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆58Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• chrisnevers / ocamline
  👨🏻‍💻 Command line interface for user input
  ☆36Updated 5 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated 2 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• ebresafegaga / tina
  Tina, a programming language with typed algebraic effects and handlers.
  ☆13Updated 3 years ago
• thizanne / snake
  A basic snake game with js_of_ocaml.
  ☆12Updated 7 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• 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
• effect-handlers / wasm-spec
  WebAssembly specification, reference interpreter, and test suite.
  ☆13Updated last year
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆49Updated 6 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 6 months ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆24Updated 2 weeks ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 7 months ago
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆89Updated 6 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆120Updated last year