全部标签
目录标签

#dfa

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

9 条记录
标签为“dfa”按健康指数排序
Go
86优秀健康指数
coregx/coregex
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
Go★ 2702026年10月19日
MIT2026年10月19日 · 指标 2.10.0
Maven
84优秀健康指数
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Java★ 2342026年9月6日
Apache-2.02026年9月6日 · 指标 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
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
—
57中等健康指数
A-LPG/LPG2
The LALR parser generator (LPG) is a tool for developing scanners and parsers. Supports multi-language . Input is specified by BNF rules. LPG supports backtracking (to resolve ambiguity), automatic AST generation and grammar inheritance.
C++ · GAP★ 82026年9月12日
EPL-2.02026年9月12日 · 指标 2.10.0
NuGet
51中等健康指数
moodmosaic/Fare
Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.
C#★ 1922026年9月14日
MIT2026年9月14日 · 指标 2.10.0
npm
40薄弱健康指数
RunDevelopment/refa
A library for finite automata and regular expressions in the context of JS RegExp
TypeScript★ 30↓ 16.8M/月2026年9月23日
MIT2026年9月23日 · 指标 2.10.0
—
23存在风险健康指数
whitemech/lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
C++★ 242026年9月5日
LGPL-3.02026年9月5日 · 指标 2.10.0