Polly is an advanced loop optimization infrastructure for LLVM, which uses an abstract loop model based on integer sets to analyze and transform the program code.
Website: polly.llvm.org
The isl integer set library provides functionality for computations with integer sets.
barvinok is a library that provides functionality for symbolic counting. Given a (possibly parametric) description of an integer set, barvinok returns a closed-form expression describing the number of points contained in the set.
ppcg is a source-to-source compiler for that translates sequential C code into CUDA/OpenCL accelerator code.
pet is a polyhedral extractor which extracts a polyhedral model from C/C++ code. Using clang as foundation, it supports C/C++ in its full generality.