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
  ☆433Updated 2 weeks ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆527Updated 3 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆57Updated last year
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆487Updated 2 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆192Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆187Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆412Updated 2 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆374Updated 2 weeks ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆204Updated 3 weeks ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆127Updated 2 years ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆89Updated 6 years ago
• 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
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆64Updated 7 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆617Updated last month
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆251Updated last week
• wo / tpg
  Tree Proof Generator
  ☆173Updated 7 months ago
• dabeaz / sly
  Sly Lex Yacc
  ☆852Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆295Updated this week
• textX / textX
  Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
  ☆821Updated 5 months ago
• NeuralNetworkVerification / Marabou
  ☆296Updated last month
• john-science / mazelib
  A Python library for creating and solving mazes.
  ☆263Updated 6 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆375Updated 2 weeks ago
• phfaist / pylatexenc
  Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
  ☆382Updated last month
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆204Updated 3 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆55Updated last month
• pberkes / big_O
  Python module to estimate big-O time complexity from execution time
  ☆339Updated 2 years ago