Alternatives and similar repositories for automata-from-regex

Users that are interested in automata-from-regex are comparing it to the libraries listed below

• swapagarwal / automata-from-regex
  An interactive c++ program to construct NFA, DFA, and minimized DFA from a given regular expression.
  ☆102Updated 4 years ago
• evplatt / TRGeneration
  Control flow graph and test requirement generation for a Java code.
  ☆14Updated 10 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated 2 years ago
• shiyanhui / Compiler
  Compiler for C language in python
  ☆276Updated 7 years ago
• jszheng / py3antlr4book
  Covert ANTLR4 book source code to Python3 version.
  ☆428Updated 2 years ago
• dspinellis / tokenizer
  Convert source code into numerical tokens
  ☆65Updated 2 years ago
• uds-se / autoreject
  Autoreject.org — An automatic review generator
  ☆70Updated last year
• rocky / python-spark
  An Earley-Algorithm Context-free grammar Parser Toolkit
  ☆48Updated 8 months ago
• timtadh / zhang-shasha
  Tree edit distance using the Zhang Shasha algorithm
  ☆454Updated 4 years ago
• emilmont / pyStatParser
  Simple Python Statistical Parser
  ☆111Updated 7 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆384Updated 3 weeks ago
• keowang / dynamic-program-embedding
  the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)
  ☆32Updated 7 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆119Updated 8 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 3 years ago
• davidmalcolm / gcc-python-plugin
  GCC plugin that embeds CPython inside the compiler
  ☆205Updated 3 years ago
• learnbigcode / learnbigcode.github.io
  Website for Learning from "Big Code"
  ☆29Updated 4 years ago
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆142Updated 10 months ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• slebok / bibsleigh
  The extensive approach to SLE bibliography
  ☆29Updated 5 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆54Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• dkamm / deepcoder
  Deepcoder paper implementation
  ☆118Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆61Updated 2 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆203Updated 3 years ago
• cmuvariability / PaperReadingGroup
  ☆10Updated 10 years ago
• NicolasLM / bplustree
  An on-disk B+tree for Python 3
  ☆768Updated 6 years ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆17Updated last year
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆91Updated 9 years ago