Geeks
bergmannjg
/
regex
A PCRE2 compatible regular expression engine written in Lean 4.
Primary Language
Lean
MIT License
MIT
regex Home Page
regex GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Stargazers
benlmyers
@Poppin-Technologies
fgdorais
University of Vermont
joewatt95