sdht0 / automata-from-regex

Related projects ⓘ

Alternatives and complementary repositories for automata-from-regex

• swapagarwal / automata-from-regex
  An interactive c++ program to construct NFA, DFA, and minimized DFA from a given regular expression.
  ☆98Updated 4 years ago
• xysun / regex
  Regular expression engine in Python using Thompson's algorithm.
  ☆113Updated 4 years ago
• evplatt / TRGeneration
  Control flow graph and test requirement generation for a Java code.
  ☆13Updated 9 years ago
• datacamp / antlr-ast
  Library for building abstract syntax trees from antlr parsers
  ☆39Updated 4 years ago
• keowang / dynamic-program-embedding
  the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)
  ☆32Updated 6 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 2 years ago
• DengMinghua / LLVM-Program-Dependency-Graph-Generator
  A pass that can generate PDG(in *.dot) for LLVM.
  ☆36Updated 8 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆178Updated last year
• mast-group / api-mining
  Probabilistic API Mining
  ☆53Updated 6 years ago
• shiyanhui / Compiler
  Compiler for C language in python
  ☆275Updated 6 years ago
• titusjan / astviewer
  Python Abstract Syntax Tree viewer in Qt
  ☆104Updated last year
• sonoisa / code2vec
  an implementation of "code2vec: Learning Distributed Representations of Code"
  ☆29Updated 4 months ago
• suminb / winnowing
  A Python implementation of the Winnowing (local algorithms for document fingerprinting)
  ☆52Updated 5 years ago
• shramos / pyc-cfg
  Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
  ☆52Updated 6 years ago
• giganticode / codeprep
  A toolkit for pre-processing large source code corpora
  ☆46Updated 2 years ago
• tech-srl / lstar_extraction
  implementation of ICML 2018 paper, Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
  ☆75Updated 4 years ago
• timtadh / zhang-shasha
  Tree edit distance using the Zhang Shasha algorithm
  ☆432Updated 4 years ago
• hchasestevens / show_ast
  An IPython notebook plugin for visualizing ASTs.
  ☆98Updated 2 years ago
• jszheng / py3antlr4book
  Covert ANTLR4 book source code to Python3 version.
  ☆416Updated last year
• odashi / ase15-django-dataset
  Django Dataset for Code Translation Tasks
  ☆30Updated 6 years ago
• uclnlp / pycodesuggest
  Learning to Auto-Complete using RNN Language Models
  ☆156Updated 7 years ago
• giganticode / jemma
  JEMMA: An Extensible Java dataset for Many ML4Code Applications
  ☆20Updated last year
• ericpony / z3py-tutorial
  ☆141Updated last year
• IBM / pyflowgraph
  Flow graphs for Python
  ☆25Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆235Updated 2 years ago
• ASSERT-KTH / software-engineering-research
  Research material about software engineering at KTH
  ☆18Updated 3 months ago
• tech-srl / PigeonJS
  Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"
  ☆24Updated 3 years ago
• danielrandall / python-control-flow-graph
  ☆9Updated 10 years ago
• oozie / python-fsm
  Python Finite State Machine implementation with a pygraphviz hook
  ☆21Updated 5 years ago
• sh1doy / summarization_tf
  Implementation of "Automatic Source Code Summarization with Extended Tree-LSTM"
  ☆36Updated last year