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
  ☆431Updated 3 weeks ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• 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 month
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆521Updated 2 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆409Updated 2 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated this week
• 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. 🔵🔁🔴↩️
  ☆267Updated 4 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 6 months ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆87Updated 5 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆203Updated last week
• pberkes / big_O
  Python module to estimate big-O time complexity from execution time
  ☆337Updated 2 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated 3 months ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆248Updated 3 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆616Updated last month
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆290Updated this week
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated 2 weeks ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆217Updated last week
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆175Updated 2 weeks ago
• qntm / greenery
  Regular expression manipulation library
  ☆369Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆432Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆92Updated this week