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
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆512Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆238Updated 3 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆361Updated 11 months ago
• 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
• 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
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆189Updated last month
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆421Updated 2 months ago
• barakeel / oeis-synthesis
  ☆23Updated last month
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆282Updated 6 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆49Updated last week
• VeriFIT / mata
  A fast and simple automata library
  ☆25Updated this week
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆94Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆594Updated this week
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆81Updated this week
• phfaist / pylatexenc
  Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
  ☆358Updated last month
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• mpmath / mpmath
  Python library for arbitrary-precision floating-point arithmetic
  ☆1,023Updated this week
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆34Updated last month
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆154Updated this week
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆465Updated last month
• csplib / csplib
  A benchmark library for constraints
  ☆93Updated 7 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• edemaine / coffeescript-for-python
  CoffeeScript for Python programmers (a guide)
  ☆56Updated 3 months ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆336Updated this week