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.