GitHub repository: pdreiter/angelix
Primary language: Java
Description: Semantic program repair system for C programs