Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.06. Sept. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#automata
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
5 Einträge
—
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Apache-2.024. Juli 2026 · Metriken 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.04. Aug. 2026 · Metriken 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
MIT18. Juli 2026 · Metriken 2.10.0
PyPI
glyph/automat
Self-service finite-state machines for the programmer on the go.
MIT18. Juli 2026 · Metriken 2.10.0