LLPE - Smowton's partial evaluator on LLVM bitcode - View it on GitHub