Automata Python Packages

python-statemachine

Expressive statecharts and FSMs for modern Python.

929K 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

37K 402 72

pythomata

A Python package for automata theory.

10K 59 8

aalpy

An Automata Learning Library Written in Python

9K 231 40

cyac

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

7K 94 15

acacia-boomslang

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

4K 5 5

liblet

A teaching aid library for formal languages and compiler courses

2K 13 3

dfa-identify

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

1K 8 3

omega

Specify and synthesize systems using symbolic algorithms

984 53 5

flloat

A Python implementation of the FLLOAT library.

793 22 4

visual-automata

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

698 57 9

automathon

A Python library for simulating and visualizing finite automata

508 72 5

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

506 3 1

netzob

Protocol Reverse Engineering, Modeling and Fuzzing

459 825 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.

437 1 0