bergmannjg / regex

A PCRE2 compatible regular expression engine written in Lean 4.
14Updated 2 weeks ago

Alternatives and similar repositories for regex:

Users that are interested in regex are comparing it to the libraries listed below