Summer Regex Research Currently has mostly my own work, still looking for what other libraries/repositories were used.
Other repositories used: AutomataDotNet/Automata NicolaasWeideman / RegexStaticAnalysis
Thank you to my mentors Dr. Dongyoon Lee and Zainab Aamir of Stony Brook University, and my partner Charlotte Li.