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
  ☆437Updated 2 weeks ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆529Updated 4 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆57Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆490Updated 3 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆187Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆413Updated 2 years ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated 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.
  ☆56Updated 7 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆618Updated last month
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 2 weeks ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆206Updated 2 weeks ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆89Updated 6 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆378Updated last month
• qntm / greenery
  Regular expression manipulation library
  ☆375Updated last month
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• wo / tpg
  Tree Proof Generator
  ☆173Updated 8 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated 3 weeks ago
• pberkes / big_O
  Python module to estimate big-O time complexity from execution time
  ☆340Updated 2 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆64Updated 8 years ago
• john-science / mazelib
  A Python library for creating and solving mazes.
  ☆265Updated 7 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆197Updated 2 weeks ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆52Updated 4 years ago
• caesar0301 / treelib
  An efficient implementation of tree data structure in pure python.
  ☆854Updated 3 months ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆287Updated 6 years ago