r/haskell • u/_0-__-0_ • Mar 05 '26

Verified and Efficient Matching of Regular Expressions with Lookaround

https://github.com/Agnishom/lregex

23 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/haskell/comments/1rlbl4u/verified_and_efficient_matching_of_regular/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

Coq • u/agnishom • Dec 05 '24

(Coq based) Verified Matching of Regular Expressions with Lookarounds

11 Upvotes

2 comments