Maven84优秀健康指数LearnLib/learnlibA free, open-source Java library for automata learning algorithmsJava★ 2342026年9月6日Apache-2.02026年9月6日 · 指标 2.10.0
crates.io80优秀健康指数rust-lang/regexAn implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.Rust★ 4,000↓ 247M/月2026年8月4日Apache-2.02026年8月4日 · 指标 2.10.0
—63中等健康指数A-LPG/LPG2The 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年7月21日EPL-2.02026年7月21日 · 指标 2.10.0
NuGet51中等健康指数moodmosaic/FarePort of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.C#★ 1922026年7月28日MIT2026年7月28日 · 指标 2.10.0
—23存在风险健康指数whitemech/lydiaA tool for LDLf translation to DFA and for LDLf synthesis.C++★ 242026年9月5日LGPL-3.02026年9月5日 · 指标 2.10.0