POSIX Lexing with Derivatives of Regular Expressions by Fahad Ausaf 🌐, Roy Dyckhoff 🌐 and Christian Urban 🌐 May 24