Etiqueta del catálogo

#dfa

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

5 registros

Con la etiqueta «dfa»Ordenado por índice de salud

Maven

84Excelenteíndice de salud

LearnLib/learnlib

A free, open-source Java library for automata learning algorithms

Java★ 2346 sept 2026

Apache-2.06 sept 2026 · métricas 2.10.0

crates.io

80Excelenteíndice de salud

rust-lang/regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Rust★ 4000↓ 247M/mes4 ago 2026

Apache-2.04 ago 2026 · métricas 2.10.0

—

63Moderadoíndice de salud

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 jul 2026

EPL-2.021 jul 2026 · métricas 2.10.0

NuGet

51Moderadoíndice de salud

moodmosaic/Fare

Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.

C#★ 19228 jul 2026

MIT28 jul 2026 · métricas 2.10.0

—

23En riesgoíndice de salud

whitemech/lydia

A tool for LDLf translation to DFA and for LDLf synthesis.

C++★ 245 sept 2026

LGPL-3.05 sept 2026 · métricas 2.10.0