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.
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.