GitHub repository: rutgers-apl/alive-nj
Primary language: Python
Description: Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM