全部标签
目录标签

#automata

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

8 条记录
标签为“automata”按健康指数排序
PyPI
91优秀健康指数
fgmacedo/python-statemachine
Expressive statecharts and FSMs for modern Python.
Python★ 1,324↓ 1.4M/月2026年10月14日
MIT2026年10月14日 · 指标 2.10.0
Maven
84优秀健康指数
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Java★ 2382026年10月22日
Apache-2.02026年10月22日 · 指标 2.10.0
Maven
83优秀健康指数
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Java★ 1042026年10月19日
Apache-2.02026年10月19日 · 指标 2.10.0
—
81优秀健康指数
hnaderi/edomata
Production ready event-driven automata for Scala, Scala.js and scala native
Scala★ 1012026年9月13日
Apache-2.02026年9月13日 · 指标 2.10.0
npm · Go · crates.io
80优秀健康指数
automata-network/automata-dcap-attestation
This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems
Rust · Solidity★ 57↓ 267/月2026年9月10日
MIT2026年9月10日 · 指标 2.10.0
crates.io
80优秀健康指数
rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Rust★ 4,024↓ 279M/月2026年9月16日
Apache-2.02026年9月16日 · 指标 2.10.0
PyPI · crates.io · Go
75良好健康指数
The-Billy-Company/irregex
A full toolkit for building any type of search engine: code or otherwise.
Zig · Python★ 1↓ 4,986/月2026年9月30日
Apache-2.02026年9月30日 · 指标 2.10.0
PyPI
63中等健康指数
glyph/automat
Self-service finite-state machines for the programmer on the go.
Python★ 6472026年9月10日
MIT2026年9月10日 · 指标 2.10.0