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.
  ☆536Updated 5 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆441Updated last month
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆621Updated 3 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆211Updated last month
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆189Updated 2 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆129Updated 2 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆87Updated last year
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆56Updated 3 months ago
• jszheng / py3antlr4book
  Covert ANTLR4 book source code to Python3 version.
  ☆428Updated 2 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆198Updated 2 weeks ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆23Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆383Updated 2 months ago
• blingenf / copydetect
  Code plagiarism detection tool
  ☆312Updated last year
• john-science / mazelib
  A Python library for creating and solving mazes.
  ☆266Updated 8 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.
  ☆122Updated 8 months ago
• potassco / clingo
  🦉 A grounder and solver for logic programs.
  ☆712Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆78Updated 2 years ago
• dabeaz / sly
  Sly Lex Yacc
  ☆858Updated last year
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆69Updated 4 months ago
• phfaist / pylatexenc
  Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
  ☆400Updated this week
• qntm / greenery
  Regular expression manipulation library
  ☆390Updated 2 months ago
• alvinwan / TexSoup
  fault-tolerant Python3 package for searching, navigating, and modifying LaTeX documents
  ☆322Updated 10 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆156Updated last week
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆68Updated last year
• pglass / cube
  Python Rubik's cube solver
  ☆172Updated 2 years ago