Alternatives and similar repositories for aqaml:

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

• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆21Updated last month
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated last year
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated 2 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 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
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• akr / codegen
  Coq plugin for monomorphization and C code generation
  ☆34Updated last month
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆49Updated 5 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• elpinal / seqmod
  Full implementation of F-ing Modules, with the power of sequent calculus
  ☆20Updated 3 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• momohatt / hscaml
  yet another toy OCaml interpreter in Haskell
  ☆12Updated 4 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• adamrk / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆61Updated 4 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆45Updated last year
• yzhs / ocamlllvm
  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
• momohatt / min-caml-jvm
  A tiny OCaml compiler with JVM backend 🐫☕️
  ☆10Updated 5 years ago
• koba-e964 / min-caml-rust
  A min-caml port to Rust
  ☆25Updated last month
• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated 2 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
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 6 months ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• hcarty / ppx_defer
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16Updated 2 years ago