bergmannjg / regex

A PCRE2 compatible regular expression engine written in Lean 4.
13Updated last month

Alternatives and similar repositories for regex:

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