All tags
Catalogue tag

#dfa

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

9 records
Tagged “dfa”Ranked by health index
Go
86Excellenthealth index
coregx/coregex
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
Go★ 270Oct 19, 2026
MITOct 19, 2026 · metrics 2.10.0
Maven
84Excellenthealth index
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Java★ 234Sep 6, 2026
Apache-2.0Sep 6, 2026 · metrics 2.10.0
Maven
83Excellenthealth index
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Java★ 104Oct 19, 2026
Apache-2.0Oct 19, 2026 · metrics 2.10.0
crates.io
80Excellenthealth index
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/moSep 16, 2026
Apache-2.0Sep 16, 2026 · metrics 2.10.0
PyPI · crates.io · Go
75Goodhealth index
The-Billy-Company/irregex
A full toolkit for building any type of search engine: code or otherwise.
Zig · Python★ 1↓ 4,986/moSep 30, 2026
Apache-2.0Sep 30, 2026 · metrics 2.10.0
—
57Moderatehealth index
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★ 8Sep 12, 2026
EPL-2.0Sep 12, 2026 · metrics 2.10.0
NuGet
51Moderatehealth index
moodmosaic/Fare
Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.
C#★ 192Sep 14, 2026
MITSep 14, 2026 · metrics 2.10.0
npm
40Weakhealth index
RunDevelopment/refa
A library for finite automata and regular expressions in the context of JS RegExp
TypeScript★ 30↓ 16.8M/moSep 23, 2026
MITSep 23, 2026 · metrics 2.10.0
—
23At Riskhealth index
whitemech/lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
C++★ 24Sep 5, 2026
LGPL-3.0Sep 5, 2026 · metrics 2.10.0