Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.06 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#automata
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
5 записів
—
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Apache-2.024 лип. 2026 р. · метрики 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 серп. 2026 р. · метрики 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 лип. 2026 р. · метрики 2.10.0
PyPI
glyph/automat
Self-service finite-state machines for the programmer on the go.
MIT18 лип. 2026 р. · метрики 2.10.0