Alternatives and similar repositories for minicaml:

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

• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆56Updated 5 years ago
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆15Updated 4 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆103Updated last year
• ludwigpacifici / saumon
  Lox language implemented in OCaml
  ☆14Updated 4 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆56Updated 2 years ago
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 3 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆100Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated 2 weeks ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆90Updated last month
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆58Updated 5 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆64Updated last year
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆45Updated 3 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆24Updated this week
• tmcgilchrist / tiger
  Compiler for Tiger language from "Modern Compiler Implementation in ML"
  ☆17Updated 5 months ago
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 4 months 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
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• derdon / menhir-example
  This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.…
  ☆51Updated 5 years ago
• ogaml / ogaml
  Ocaml multimedia library
  ☆29Updated 3 years ago
• SylvainBoilard / GLFW-OCaml
  A GLFW binding for OCaml.
  ☆34Updated 8 months ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated last year
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated last month
• LesleyLai / ocamlpt
  Path tracer live coded in stream
  ☆19Updated 4 years ago
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated 2 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated this week