PyPI
fgmacedo/python-statemachine
Expressive statecharts and FSMs for modern Python.
MITOct 14, 2026 · metrics 2.10.0
All tags
Catalogue tag
#automata
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
8 records
Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.0Sep 6, 2026 · metrics 2.10.0
Maven
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Apache-2.0Oct 19, 2026 · metrics 2.10.0
—
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Apache-2.0Sep 13, 2026 · metrics 2.10.0
npm · Go · crates.io
automata-network/automata-dcap-attestation
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
MITSep 10, 2026 · metrics 2.10.0
crates.io
rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Apache-2.0Sep 16, 2026 · metrics 2.10.0
PyPI · crates.io · Go
The-Billy-Company/irregex
A full toolkit for building any type of search engine: code or otherwise.
Apache-2.0Sep 30, 2026 · metrics 2.10.0
PyPI
glyph/automat
Self-service finite-state machines for the programmer on the go.
MITSep 10, 2026 · metrics 2.10.0