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.

5 records

Tagged “dfa”Ranked by health index

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

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,000↓ 247M/moAug 4, 2026

Apache-2.0Aug 4, 2026 · metrics 2.10.0

—

63Moderatehealth 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★ 8Jul 21, 2026

EPL-2.0Jul 21, 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#★ 192Jul 28, 2026

MITJul 28, 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