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.
  ☆58Updated last year
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆533Updated 4 months ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆496Updated 3 months ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆193Updated 2 months ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆437Updated 2 weeks ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆55Updated 2 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 2 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆188Updated 2 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.
  ☆122Updated 7 months ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆89Updated 6 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆288Updated 6 years ago
• textX / textX
  Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
  ☆831Updated last month
• qntm / greenery
  Regular expression manipulation library
  ☆388Updated 2 months ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆205Updated 3 years ago
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 10 months ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆275Updated 4 years ago
• jaraco / wolframalpha
  ☆152Updated 6 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆380Updated last month
• NeuralNetworkVerification / Marabou
  ☆300Updated 2 weeks ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆107Updated this week
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆211Updated last month
• jszheng / py3antlr4book
  Covert ANTLR4 book source code to Python3 version.
  ☆427Updated 2 years ago
• vitsalis / PyCG
  Static Python call graph generator
  ☆358Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated this week
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆69Updated 3 months ago
• neogeny / TatSu
  竜 TatSu generates Python parsers from grammars in a variation of EBNF
  ☆434Updated last month
• MichaelStott / SimplexSolver
  Python script that solves standard linear programs with the Simplex algorithm and outputs step-by-step LaTeX instructions.
  ☆81Updated last year