polyhedral-model

There are 1 repository under polyhedral-model topic.

bondhugula / pluto
Pluto: An automatic polyhedral parallelizer and locality optimizer
stencils tiling locality automatic-parallelization loop-optimization polyhedral-model
Language:C 248
UCLA-VAST / AutoSA
AutoSA: Polyhedral-Based Systolic Array Compiler
systolic-arrays polyhedral-model automatic-generation fpga
Language:C++ 182
inducer / islpy
Python wrapper for isl, an integer set library
code-generation isl loop-optimization polyhedral-model python wrapper
Language:Python 71
Par4All / par4all
Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs
abstract-interpretation automatic-parallelization c99 cuda fortran interprocedural opencl parallelization polyhedral-model
Language:C 51
verif-scop / PolCert
A verified polyhedral scheduling validator in Coq.
coq-formalization polyhedral-model verification
Language:Coq 17
mfernba / rGWB
rGWB: A basic solid modeler for Polyhedral 2-Manifold solids. Split, explode and boolean operations supported.
manifold-solids solid-modeling boolean-operations geometric-modeling polyhedral-model polyhedral geometric-workbench gwb brep cad 3d 3d-models
Language:C 14
esa / polyhedral-gravity-model
Implementation of a polyhedral gravity model in C++17 with a Python Binding
cpp17 gravity polyhedral-model python
Language:Jupyter Notebook 13
Ekdohibs / PolyGen
PolyGen is a code generator for the polyhedral model, written and proved in Coq.
coq polyhedral-model
Language:Coq 9
piotr-skotnicki / tc-optimizer
TC Optimizing Compiler
automatic-parallelization code-locality compiler dependence-graph iteration-space-slicing loop-optimization optimizing-compiler parallel-computing polyhedral-model source-to-source stencils synchronization-free-parallelism tiling transitive-closure
Language:C 9
nomp-org / libnomp
libnomp is a loopy based runtime for C programming language to create domain specific compilers.
cuda dpcpp finite-element-methods gpu hip hpc loopy opencl polyhedral-model spectral-element-method
Language:C 8
MartinAstro / GravityModels
Collection of gravity models designed for use by astrodynamicists
astrodynamics gravity polyhedral-model python spherical-harmonics
Language:Python 6
daisytuner / daisycc
Lifting Stateful Dataflow Multigraphs via Polyhedral Analysis
compiler dace llvm polyhedral-model transfer-tuning performance-embeddings
Language:Python 5
arpith-jacob / tensorflow-xla-polly
Tensorflow with Polyhedral passes in XLA's LLVM backend.
polly polyhedral-model
Language:C++ 3
gdeest / isl-bindings
Low and high-level Haskell bindings to the Integer Set Library
compilation isl maths polyhedral-model
Language:Haskell 2
GaMA
jmpearl / GaMA
A set of Matlab classes implementing popular gravitational models for asteroids and comets.
gravitational gravity comets asteroids two-body-problem math-physics matlab mascon polyhedral-model small-body spherical-harmonics
Language:MATLAB 1
chrisrod87965 / chance-all-dice-game
a dice game program that uses every kind of dye like dungeons and dragons
polyhedral-model dice-roller odd-even-sort bitcoin binary coinflip frequent-itemset-mining
0
AleXLaeR / Python-Graphics-Third-Sem
Solution for "Computer Graphics" Course assignments, 2-nd year
bresenham-circle-drawing-algorithm graham-scan-algorithm poisson-disc-sampling polyhedral-model python3 matplotlib-pyplot typing
Language:Python
BenQuickDeNN / MyPolybench
A repository for storing optimization codes of polybench written by L. N. Pouchet
polyhedral-model hpc transformations loop compilation
Language:C
BoiseState-AdaptLab / adapt-mem-bench
An Application-Specific Memory Subsystem Benchmarking Framework
memory-benchmarking performance-optimization research-reproducibilty performance-portability polyhedral-model stencil-computations
Language:C++
soumyadeep2007 / polyExp
Experiments with PolyBench
compilers optimization polyhedral-model
Language:C