Alternatives and similar repositories for automata

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

• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆508Updated last month
• qntm / greenery
  Regular expression manipulation library
  ☆391Updated 4 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆207Updated this week
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆189Updated 2 years 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.
  ☆123Updated 10 months ago
• pberkes / big_O
  Python module to estimate big-O time complexity from execution time
  ☆343Updated 2 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆541Updated 7 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆281Updated 4 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆270Updated this week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆626Updated 5 months ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆208Updated 3 years ago
• alvinwan / TexSoup
  fault-tolerant Python3 package for searching, navigating, and modifying LaTeX documents
  ☆324Updated last year
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Updated last year
• vprover / vampire
  The Vampire Theorem Prover
  ☆392Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated last week
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆90Updated 6 years ago
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆222Updated 2 weeks ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 3 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆201Updated last month
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆58Updated 5 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆69Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆181Updated this week
• NeuralNetworkVerification / Marabou
  ☆311Updated 3 months ago