Alternatives and similar repositories for remora

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

• nathanfarlow / c-of-ocaml
  Compile OCaml to standalone ANSI C file
  ☆44Updated last month
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 5 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆67Updated 2 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 6 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• mb64 / simple-lambda-prolog
  A simple λProlog interpreter
  ☆20Updated 3 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆36Updated 3 months ago
• janestreet / sexp
  S-expression swiss knife
  ☆46Updated last month
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• claby2 / camlcade
  🐫🎮 OCaml Game Engine
  ☆44Updated 3 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 6 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆46Updated last week
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated 2 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 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 4 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• dinosaure / esperanto
  build-once run-anywhere OCaml programs
  ☆138Updated last week
• janestreet / parallel
  OxCaml Parallelism
  ☆30Updated last month
• contificate / match
  Match compilation algorithm in OCaml
  ☆27Updated 4 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 5 months ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆60Updated this week
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated last year
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 3 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year