an automata learning library written in Ruby

A tool for SYmbolic MONitoring

A library to find JS RegExp with super-linear worst-case time complexity for attack strings that repeat a single character.

A simple clock that displays the current time in a unique way, inspired by Humans Since 1982.

Go parsers for web formats

⌨️ Regex Denial-of-Service Checker CLI