periscop / candl
Data Dependence Analyzer in the Polyhedral Model
☆20Updated last year
Alternatives and similar repositories for candl:
Users that are interested in candl are comparing it to the libraries listed below
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆125Updated 2 years ago
- Chunky Loop Interaction☆23Updated 5 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆29Updated 9 months ago
- Python wrapper for isl, an integer set library☆77Updated this week
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆110Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆61Updated 2 years ago
- development repository for the open earth compiler☆80Updated 4 years ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆70Updated 2 months ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- The CLooG Code Generator in the Polyhedral Model☆46Updated last year
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- ☆53Updated 5 years ago
- RV: A Unified Region Vectorizer for LLVM☆107Updated 2 months ago
- ☆28Updated 2 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆59Updated last year
- An MLIR frontend for tensor expressions☆24Updated 4 years ago
- ☆41Updated this week
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 3 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Updated last year
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- Parametric Integer Programming Library☆14Updated last year
- Retargetable ML compilers for the twenty-first century!☆12Updated last month
- Sample programs for the LLVM PTX back-end☆37Updated 9 years ago