Alternatives and similar repositories for automata

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

• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆516Updated 3 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 3 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆427Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆480Updated last week
• qntm / greenery
  Regular expression manipulation library
  ☆366Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆95Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆610Updated this week
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• aleaxit / gmpy
  General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)
  ☆557Updated this week
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆404Updated last year
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆186Updated last week
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆248Updated 2 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆405Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆200Updated last month
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated 2 months ago
• Technologicat / pyan
  Static call graph generator. The official Python 3 version. Development repo.
  ☆375Updated 11 months ago
• 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.
  ☆121Updated 3 months ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆202Updated 2 years ago
• shlomif / primesieve-python
  Fast prime number generator. Python bindings for the primesieve C++ library
  ☆139Updated 9 months ago
• automatarium / automatarium
  A place for automata
  ☆75Updated last month
• blingenf / copydetect
  Code plagiarism detection tool
  ☆300Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆356Updated 4 months ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year