Todas las etiquetas
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.

9 registros
Con la etiqueta «dfa»Ordenado por índice de salud
Go
86Excelenteíndice de salud
coregx/coregex
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
Go★ 27019 oct 2026
MIT19 oct 2026 · métricas 2.10.0
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
Maven
83Excelenteíndice de salud
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Java★ 10419 oct 2026
Apache-2.019 oct 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★ 4024↓ 279M/mes16 sept 2026
Apache-2.016 sept 2026 · métricas 2.10.0
PyPI · crates.io · Go
75Buenoíndice de salud
The-Billy-Company/irregex
A full toolkit for building any type of search engine: code or otherwise.
Zig · Python★ 1↓ 4986/mes30 sept 2026
Apache-2.030 sept 2026 · métricas 2.10.0
—
57Moderadoí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★ 812 sept 2026
EPL-2.012 sept 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#★ 19214 sept 2026
MIT14 sept 2026 · métricas 2.10.0
npm
40Débilíndice de salud
RunDevelopment/refa
A library for finite automata and regular expressions in the context of JS RegExp
TypeScript★ 30↓ 16.8M/mes23 sept 2026
MIT23 sept 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