insieme / insiemeLinks
The Insieme Compiler and Runtime Infrastructure
☆34Updated 6 years ago
Alternatives and similar repositories for insieme
Users that are interested in insieme are comparing it to the libraries listed below
Sorting:
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆111Updated last month
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- RV: A Unified Region Vectorizer for LLVM☆108Updated last week
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆125Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆111Updated last year
- Library to plot integer sets and maps☆49Updated 8 years ago
- ☆41Updated last week
- development repository for the open earth compiler☆80Updated 4 years ago
- ☆54Updated 6 years ago
- Data-Centric MLIR dialect☆42Updated last year
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 5 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆34Updated 8 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated 2 months ago
- A Benchmark Suite for Heterogeneous System Computation☆53Updated 3 months ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- ☆29Updated 2 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- A domain-specific language and compiler for image processing☆76Updated 4 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- Chunky Loop Interaction☆24Updated 5 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Python wrapper for isl, an integer set library☆77Updated this week
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆30Updated 8 months ago