Alternatives and similar repositories for RegexEnumerator:

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

• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• briandfoy / excellent_numbers
  Compute excellent numbers
  ☆9Updated 10 months ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆89Updated last year
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• scizzorz / rain
  A programming language.
  ☆20Updated 7 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 9 months ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 4 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago