Alternatives and similar repositories for red

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

• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• formal-land / coq-bonsai
  🌳 Generate a fresh bonsai in your terminal
  ☆28Updated 3 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• steinuil / xobl
  [WIP] Pure OCaml bindings to the X11 protocol
  ☆24Updated 4 months ago
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated last month
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆44Updated 3 months ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆46Updated last week
• mmcqd / higher-standard
  Higher kinded polymorphism in SML
  ☆15Updated 4 years ago
• well-typed-lightbulbs / ocaml-baremetal-esp32
  ☆17Updated 6 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• dannywillems / dsubml
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Updated 8 years ago
• dbuenzli / stdlib-utf
  Add UTF decoding support to the OCaml Stdlib
  ☆16Updated 2 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated 2 weeks ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆42Updated last year
• aryx / xix
  Plan9 software ported to OCaml
  ☆33Updated 3 weeks ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• fxfactorial / ocaml-emoji
  Emojis in OCaml, use them in your CLIs or whatever
  ☆27Updated 5 months ago
• smimram / funk
  Functional kernel written in OCaml.
  ☆33Updated 11 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• camlspotter / ocamloscope.2
  OCamlOScope 2 : OCaml API search
  ☆43Updated 7 years ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 11 months ago
• RedPRL / ocaml-bwd
  🔙 Backward lists for OCaml
  ☆22Updated 9 months ago
• ujamjar / hardcaml-zinc
  HardCaml implementation of the OCaml ZINC Abstract Machine
  ☆45Updated 5 years ago