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
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆91Updated 6 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆29Updated 2 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆44Updated 2 months ago
• janestreet / parsexp
  S-expression parsing library
  ☆35Updated last month
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 2 weeks ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 6 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 9 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 4 months ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆46Updated 6 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• johnwhitington / mlbook
  OCaml from the Very Beginning
  ☆52Updated 3 weeks ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 5 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆46Updated last week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• vocal-project / vocal
  ☆49Updated 4 years ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last month
• janestreet / async_smtp
  SMTP client and server
  ☆46Updated 3 weeks ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 10 months ago