Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.0Sep 6, 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.
5 records
—
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Apache-2.0Jul 24, 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.0Aug 4, 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
MITJul 18, 2026 · metrics 2.10.0
PyPI
glyph/automat
Self-service finite-state machines for the programmer on the go.
MITJul 18, 2026 · metrics 2.10.0