rexact-core
Derivative-based regex engine for Rexact: symbol classes, lazy DFA, minimisation, per-dialect semantics.
Part of Rexact, a regex equivalence and ReDoS tool that returns evidence with every verdict (a checkable certificate, a shortest counterexample, or an explicit "unknown" with the limit that was hit).
Licensed under MIT OR Apache-2.0.