Agnishom / lregexLinks
Verified and Efficient Matching of Regular Expressions with Lookaround
☆24Updated 10 months ago
Alternatives and similar repositories for lregex
Users that are interested in lregex are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Good☆66Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- CN separation logic refinement type system for C☆36Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆34Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces