polyhedral-model topic

Pluto: An automatic polyhedral parallelizer and locality optimizer

bondhugula

AutoSA: Polyhedral-Based Systolic Array Compiler

UCLA-VAST

Python wrapper for isl, an integer set library

inducer

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

Par4All

A verified polyhedral scheduling validator in Coq.

verif-scop

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

mfernba

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

esa