PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
fgmacedo
python-statemachine

Expressive statecharts and FSMs for modern Python.

929K 1K 103
Aunsiels
pyformlang

A python library to manipulate formal languages and various automata

62K 60 13
caleb531
automata-lib

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

37K 402 72
whitemech
pythomata

A Python package for automata theory.

9K 59 8
DES-Lab
aalpy

An Automata Learning Library Written in Python

8K 231 40
nppoly
cyac

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

7K 94 15
gaperez64
acacia-boomslang

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

4K 5 5
let-unimi
liblet

A teaching aid library for formal languages and compiler courses

2K 13 3
mvcisback
dfa-identify

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

1K 8 3
tulip-control
omega

Specify and synthesize systems using symbolic algorithms

954 53 5
whitemech
flloat

A Python implementation of the FLLOAT library.

755 22 4
lewiuberg
visual-automata

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

687 57 9
rohaquinlop
automathon

A Python library for simulating and visualizing finite automata

539 72 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

490 3 1
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.

472 1 0
netzob
netzob

Protocol Reverse Engineering, Modeling and Fuzzing

472 825 167
jaxcksn
fsmd

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

384 7 1
Oneiroe
pysimpleautomata

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

319 23 7
zerlok
statomata

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

293 3 0
porfanid
turing-machine-utils

Python script to create and test Turring machines

269 0 0
MarcoFavorito
rltg

Reinforcement Learning framework for Temporal Goals

216 11 4
whitemech
temprl

Reinforcement Learning framework for Temporal Goals

216 11 4
tulip-control
tulip

Temporal Logic Planning toolbox

183 126 36
Neikow
statemachines-orchestrator

An extension of `python-statemachine` with linking between machines.

148 0 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery