Усі теги
Тег каталогу

#dfa

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

5 записів
З тегом «dfa»Упорядковано за індексом здоров'я
Maven
84Відміннийіндекс здоров'я
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Java★ 2346 вер. 2026 р.
Apache-2.06 вер. 2026 р. · метрики 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 000↓ 247M/міс4 серп. 2026 р.
Apache-2.04 серп. 2026 р. · метрики 2.10.0
—
63Помірнийіндекс здоров'я
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★ 821 лип. 2026 р.
EPL-2.021 лип. 2026 р. · метрики 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#★ 19228 лип. 2026 р.
MIT28 лип. 2026 р. · метрики 2.10.0
—
23У зоні ризикуіндекс здоров'я
whitemech/lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
C++★ 245 вер. 2026 р.
LGPL-3.05 вер. 2026 р. · метрики 2.10.0