Go
coregx/coregex
Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.
MIT19. Okt. 2026 · Metriken 2.10.0
Alle Tags
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.
9 Einträge
Maven
LearnLib/learnlib
A free, open-source Java library for automata learning algorithms
Apache-2.06. Sept. 2026 · Metriken 2.10.0
Maven
LearnLib/automatalib
A free, open-source Java library for automata, graphs, and transition systems
Apache-2.019. Okt. 2026 · Metriken 2.10.0
crates.io
rust-lang/regex
An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.
Apache-2.016. Sept. 2026 · Metriken 2.10.0
PyPI · crates.io · Go
The-Billy-Company/irregex
A full toolkit for building any type of search engine: code or otherwise.
Apache-2.030. Sept. 2026 · Metriken 2.10.0
—
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.
EPL-2.012. Sept. 2026 · Metriken 2.10.0
NuGet
moodmosaic/Fare
Port of Java dk.brics.automaton and xeger, mostly used for generating strings that match a specific regular expression.
MIT14. Sept. 2026 · Metriken 2.10.0
npm
RunDevelopment/refa
A library for finite automata and regular expressions in the context of JS RegExp
MIT23. Sept. 2026 · Metriken 2.10.0
—
whitemech/lydia
A tool for LDLf translation to DFA and for LDLf synthesis.
LGPL-3.022. Okt. 2026 · Metriken 2.10.0