GitHub repository: onecoolx/xpoly
Primary language: C++
Description: Polyhedral Transformation,   Linear Programming Solver, Polyhedral based dependence analysis