Alternatives and similar repositories for automata:

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

• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆412Updated last month
• Robert-Campbell-256 / Number-Theory-Python
  Python code to implement various number theory, elliptic curve and finite field computations.
  ☆99Updated 3 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last month
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated last year
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆86Updated 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.
  ☆53Updated 7 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆92Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆503Updated 3 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆175Updated this week
• NeuralNetworkVerification / Marabou
  ☆277Updated 2 weeks ago
• MikeDevice / first-follow
  Utility for FIRST, FOLLOW, PREDICT set generation aiding in custom programming language creation
  ☆127Updated 2 years ago
• magsilva / jflap
  JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)
  ☆34Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆192Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆184Updated last year
• qntm / greenery
  Regular expression manipulation library
  ☆353Updated 9 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆177Updated last week
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆583Updated last month
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆395Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆214Updated last month
• steynvl / inferrer
  An automata learning library written in Python.
  ☆50Updated 5 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆434Updated last year
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆139Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,081Updated this week
• vitsalis / PyCG
  Static Python call graph generator
  ☆332Updated last year
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆459Updated 3 weeks ago