Alternatives and similar repositories for automata

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

• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆57Updated last year
• VeriFIT / mata
  A fast and simple automata library
  ☆26Updated last week
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• 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
  ☆182Updated 2 weeks ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆604Updated this week
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated this week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆421Updated last week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆254Updated last year
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆283Updated 6 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆403Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆49Updated 4 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆246Updated last month
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated 2 months ago
• NeuralNetworkVerification / Marabou
  ☆287Updated 3 weeks ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆50Updated 3 weeks ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆515Updated 5 months 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
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆88Updated 3 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆184Updated 2 years ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆182Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆221Updated last month
• barakeel / oeis-synthesis
  ☆23Updated 2 weeks ago
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆91Updated last year
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆33Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆201Updated 2 weeks ago