Pluto: An automatic polyhedral parallelizer and locality optimizer

AutoSA: Polyhedral-Based Systolic Array Compiler

Python wrapper for isl, an integer set library

Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs

tutorials about polyhedral compilation.

Implementation of a polyhedral gravity model in C++17 with a Python Binding

A verified polyhedral scheduling validator in Coq.

rGWB: A basic solid modeler for Polyhedral 2-Manifold solids. Split, explode and boolean operations supported.

TC Optimizing Compiler

PolyGen is a code generator for the polyhedral model, written and proved in Coq.

libnomp is a loopy based runtime for C programming language to create domain specific compilers.

Collection of gravity models designed for use by astrodynamicists

Tensorflow with Polyhedral passes in XLA's LLVM backend.

Low and high-level Haskell bindings to the Integer Set Library

A set of Matlab classes implementing popular gravitational models for asteroids and comets.

A repository for storing optimization codes of polybench written by L. N. Pouchet

Experiments with PolyBench

a dice game program that uses every kind of dye like dungeons and dragons

An Application-Specific Memory Subsystem Benchmarking Framework

compiler-based automatic parallelization for distributed systems.