GitHub repository: makenowjust-labs/recheck
Primary language: Scala
Description: The trustworthy ReDoS checker