Automata Python Packages

python-statemachine

Expressive statecharts and FSMs for modern Python.

1.4M 1K 106

pyformlang

A python library to manipulate formal languages and various automata

85K 62 13

automata-lib

A Python library for simulating finite automata, pushdown automata, and Turing machines

32K 407 73

pythomata

A Python package for automata theory.

9K 59 8

cyac

High performance Trie and Ahocorasick automata (AC automata) Keyword Match & Replace Tool for python. Correct case insensitive implementation!

5K 93 15

faudes

A Discrete-Event Systems Library

3K 6 5

flloat

From LTLf/LDLf To Automata

2K 23 4

acacia-boomslang

Python bindings for Acacia-Bonsai, an antichain-based LTL synthesis and safety-game solver

2K 5 5

liblet

A teaching aid library for formal languages and compiler courses

1K 13 3

omega

Specify and synthesize systems using symbolic algorithms

1K 53 5

dfa-identify

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

892 8 3

visual-automata

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

626 57 9

automathon

A Python library for simulating and visualizing finite automata

610 71 5

automython

A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.

454 0 0

netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

427 830 168

pysimpleautomata

Academic Python Library to manage DFA, NFA and AFW automata.

360 23 7

tulip

Temporal Logic Planning (TuLiP) Toolbox

350 126 36

statomata

a strictly typed, flexible library for building and running state machines in Python

337 3 0

pytomatas

🧿 My own Python Library (available on PyPi) to implementate and simulate Automatons like DFA, NFA, PDA and Turing Machine for real projects, with documentation, examples and a project example :3

323 3 1