Derivative-based regex engine for Rexact: symbol classes, lazy DFA, minimisation, per-dialect semantics.
Part of [Rexact](https://github.com/aniket-3001/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.