Alternatives and similar repositories for reason-re-nfa

Users that are interested in reason-re-nfa are comparing it to the libraries listed below

• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated last year
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆143Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• 0x0f0f0f / gobba
  A purely functional dynamically typed programming language.
  ☆56Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• janestreet / async_smtp
  SMTP client and server
  ☆46Updated last month
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆146Updated 7 years ago
• aryx / syncweb
  literate programming meets unison
  ☆29Updated last week
• jmid / efftester
  Effect-Driven Compiler Tester for OCaml
  ☆38Updated 5 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 10 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• adrieng / pulsar
  Experimental functional language
  ☆17Updated 3 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆123Updated 5 years ago
• johnwhitington / mlbook
  OCaml from the Very Beginning
  ☆52Updated last month
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• jacquev6 / DrawGrammar
  Draw railroad diagrams of EBNF grammars. In browser and on command line
  ☆69Updated 6 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆50Updated 6 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• dinosaure / bob
  A peer-to-peer file-transfer tool in OCaml
  ☆143Updated 2 months ago
• art-w / unicorn
  Purely functional GUI algebra
  ☆77Updated 3 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated last month
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated this week