GitHub repository: orionxu/RegFixer
Primary language: Java
Description: frontend and backend for a regular expression synthesis and repair tool