Alternatives and similar repositories for automata

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

• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆423Updated 3 weeks ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆186Updated 3 weeks ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆199Updated 3 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆148Updated last week
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆216Updated 10 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 weeks ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆41Updated last week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆263Updated 4 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 9 months ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆284Updated 6 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.
  ☆120Updated 2 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆95Updated last year
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated last month
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• eprover / eprover
  ☆142Updated 2 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆51Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆203Updated 2 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆605Updated last week
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated 2 weeks ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• barakeel / oeis-synthesis
  ☆23Updated this week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆166Updated this week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago