PyRank

Automata Python Packages

Python packages with the GitHub topic automata. Sorted by monthly downloads, with stars and forks.
fgmacedo
python-statemachine

Expressive statecharts and FSMs for modern Python.

1.4M 1K 117
caleb531
automata-lib

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

55K 411 72
whitemech
pythomata

A Python package for automata theory.

35K 60 8
Aunsiels
pyformlang

A python library to manipulate formal languages and various automata

27K 64 13
gaperez64
acacia-boomslang

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

7K 7 5
nppoly
cyac

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

5K 93 15
FGDES
faudes

A Discrete-Event Systems Library

1K 6 5
tulip-control
omega

Specify and synthesize systems using symbolic algorithms

837 53 5
let-unimi
liblet

A teaching aid library for formal languages and compiler courses

776 14 3
mvcisback
dfa-identify

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

719 8 3
whitemech
flloat

From LTLf/LDLf To Automata

627 23 4
netzob
netzob

Netzob: Protocol Reverse Engineering, Modeling and Fuzzing

358 838 172
mkantrr
automython

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

323 0 0
rohaquinlop
automathon

A Python library for simulating and visualizing finite automata

315 71 5
arhcoder
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

283 3 1
GrgoMariani
automatabpp

Python module for developing with ABP Paradigm. Uses graphml graph format to model the behaviour.

268 5 2
jaxcksn
fsmd

A python CLI tool for creating diagrams of finite state machines.

239 7 1
tulip-control
tulip

Temporal Logic Planning toolbox

201 128 36
Oneiroe
pysimpleautomata

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

193 23 7
zerlok
statomata

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

170 3 0
porfanid
turing-machine-utils

Python script to create and test Turring machines

154 0 0
lewiuberg
visual-automata

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

150 57 9
whitemech
temprl

Reinforcement Learning framework for Temporal Goals

132 11 4
MarcoFavorito
rltg

Reinforcement Learning framework for Temporal Goals

129 11 4