bergmannjg / regexLinks

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

Alternatives and similar repositories for regex

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

Sorting: