Katalog-Tag

#dfa

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

5 Einträge

Getaggt als „dfa“Geordnet nach Gesundheitsindex

Maven

84ExzellentGesundheitsindex

LearnLib/learnlib

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

Java★ 2346. Sept. 2026

Apache-2.06. Sept. 2026 · Metriken 2.10.0

crates.io

80ExzellentGesundheitsindex

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/Monat4. Aug. 2026

Apache-2.04. Aug. 2026 · Metriken 2.10.0

—

63MittelGesundheitsindex

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. Juli 2026

EPL-2.021. Juli 2026 · Metriken 2.10.0

NuGet

51MittelGesundheitsindex

moodmosaic/Fare

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

C#★ 19228. Juli 2026

MIT28. Juli 2026 · Metriken 2.10.0

—

23GefährdetGesundheitsindex

whitemech/lydia

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

C++★ 245. Sept. 2026

LGPL-3.05. Sept. 2026 · Metriken 2.10.0