Automata Python Packages

python-statemachine

Expressive statecharts and FSMs for modern Python.

983K 1K 103

pyformlang

A python library to manipulate formal languages and various automata

64K 60 13

automata-lib

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

36K 403 72

cyac

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

6K 94 15

acacia-boomslang

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

6K 5 5

pythomata

A Python package for automata theory.

5K 59 8

aalpy

An Automata Learning Library Written in Python

5K 233 40

faudes

A Discrete-Event Systems Library

3K 6 5

liblet

A teaching aid library for formal languages and compiler courses

2K 13 3

omega

Specify and synthesize systems using symbolic algorithms

1K 53 5

flloat

From LTLf/LDLf To Automata

916 22 4

dfa-identify

Python library for identifying (learning) DFAs (automata) from labeled examples.

872 8 3

automathon

A Python library for simulating and visualizing finite automata

675 71 5

visual-automata

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

624 57 9

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

552 3 1

netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

547 827 167

automython

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

538 1 0