GitHub repository: vgvassilev/creduce
Primary language: C++
Description: C-Reduce, a C program reducer