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
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆28Updated last year
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆29Updated this week
• OCamlPro / ocaml-canvas
  The OCaml-Canvas library provides a portable Canvas for OCaml
  ☆59Updated 11 months ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 4 months ago
• kfl / wpp
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Updated 4 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 4 months ago
• jkoppel / ecta
  ☆35Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆38Updated 6 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated this week
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆44Updated last month
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆42Updated 10 months ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• johnwhitington / mlbook
  OCaml from the Very Beginning
  ☆52Updated 3 weeks ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 11 months ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆24Updated last month
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago