GitHub repository: rutgers-apl/alive
Primary language: Python
Description: ALIVe: Automatic LLVM's Instcombine Verifier