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
  ☆51Updated 4 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated last year
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆28Updated 2 weeks ago
• reynir / Brainfuck
  Brainfuck formalized in Coq
  ☆26Updated 3 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆25Updated 3 months ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 7 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆83Updated 7 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago
• janestreet / parsexp
  S-expression parsing library
  ☆35Updated 7 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 3 months ago
• art-w / unicorn
  Purely functional GUI algebra
  ☆75Updated last week
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆58Updated 5 months ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated 2 months ago
• owlbarn / tutorial
  Owl Tutorial
  ☆6Updated 4 months ago
• kiranandcode / gopcaml-mode
  [MIRROR] Ultimate Ocaml Editing Mode
  ☆22Updated 2 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆22Updated 3 months ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆27Updated last year