periscop / piplib
Parametric Integer Programming Library
☆14Updated last year
Alternatives and similar repositories for piplib:
Users that are interested in piplib are comparing it to the libraries listed below
- Chunky Loop Interaction☆23Updated 5 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆29Updated 9 months ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- Python wrapper for isl, an integer set library☆77Updated this week
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆125Updated 2 years ago
- The CLooG Code Generator in the Polyhedral Model☆46Updated last year
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- ☆28Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- A polyhedral compiler for hardware accelerators☆56Updated 8 months ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Updated last year
- Polyhedral High-Level Synthesis in MLIR☆30Updated 2 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago
- ☆25Updated 2 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- ☆24Updated 4 years ago
- Generator for MLIR files from known front-ends☆17Updated last year
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- Data-Centric MLIR dialect☆40Updated last year
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- ☆40Updated 3 years ago
- Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model☆12Updated 5 years ago
- ☆53Updated 5 years ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆25Updated last week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆104Updated 2 weeks ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year