Polly

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

isl

The isl integer set library provides functionality for computations with integer sets.

barvinok

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

ppcg is a source-to-source compiler for that translates sequential C code into CUDA/OpenCL accelerator code.

pet

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.