Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.06 sept 2026 · métricas 2.10.0
Todas las etiquetas
Etiqueta del catálogo
#automata
Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.
5 registros
—
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Apache-2.024 jul 2026 · métricas 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 ago 2026 · métricas 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 jul 2026 · métricas 2.10.0
PyPI
glyph/automat
Self-service finite-state machines for the programmer on the go.
MIT18 jul 2026 · métricas 2.10.0