- Bee - Source-to-source array contraction under scheduling constraints
- Cl@k - Critical Lattice Kernel Library

- RanK - A tool to prove program termination/and to estimate computational complexity (WCCC)
- WTC - Termination/Complexity bounding Benchmarks
- SToP - Scalable Termination analysis of C Programs
- Termite - Termination in the large (now on github !) (PLDI 2015)

- Simplication - Simplification of Boolean Affine Formulas
- CART - Constant Aspect Ratio Tiling (source-code)
- Aspic Invariant Generator.

- ISCC - ISL Comprehensive Calculator included inside barvinok developped by Sven Verdoolaege

*
Page maintained by Christophe Alias.
*