GitHub repository: opencompl/alive
Primary language: Python
Description: Alive: Automatic LLVM's Instcombine Verifier