LLPE is a highly-accurate partial evaluator targeting LLVM intermediate representation, and therefore suitable for specialising C, C++ and FORTRAN programs amongst other languages that are readily compiled to IR.
For more information check out its website or the llpe-dev forum