GitHub repository: lyxell/logifix
Primary language: C++
Description: Fast analysis-guided program transformation system for Java source code