caleb531 / automata

Related projects ⓘ

Alternatives and complementary repositories for automata

• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated 10 months ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated 7 months ago
• qntm / greenery
  Regular expression manipulation library
  ☆338Updated 5 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆183Updated this week
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆178Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆384Updated last year
• dabeaz / sly
  Sly Lex Yacc
  ☆828Updated 5 months ago
• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆56Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆167Updated last month
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆189Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated 9 months ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆45Updated last month
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆119Updated 11 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆315Updated 2 weeks ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆576Updated 3 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆300Updated this week
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆100Updated last year
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆78Updated 5 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆183Updated last year
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆479Updated 3 weeks ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆91Updated last year
• johnyf / tool_lists
  Links to tools by subject
  ☆372Updated 8 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 4 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆268Updated 5 years ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆324Updated 11 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆233Updated 3 weeks ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆126Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆182Updated last month