uwplse / dexter
a compiler for re-writing image processing functions in C++ to Halide
☆22Updated last year
Related projects: ⓘ
- A Halide journey taken for pleasure, this repo will hopefully serve a collection of Halide imaging functions that are useful to the commu…☆15Updated 9 years ago
- GPUVerify: a Verifier for GPU Kernels☆57Updated 2 years ago
- A domain-specific language and compiler for image processing☆76Updated 3 years ago
- a Halide language To MLIR compiler.☆25Updated 3 years ago
- ☆11Updated 4 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated 10 months ago
- Skeletonide is a parallel implementation of Zhang-Suen morphological thinning algorithm written in Halide-lang. Use it for fast skeletoni…☆12Updated 3 years ago
- IMPORTANT NOTICE: This implementation is long outdated. The new libwfv will be released soon. Whole-Function Vectorization is an algorith…☆22Updated 12 years ago
- A framework that helps implementing swizzle GPU kernels☆38Updated 4 years ago
- Library to plot integer sets and maps☆47Updated 7 years ago
- Case Studies for Halide performance against C++ and OpenCL☆37Updated 10 years ago
- Generic system-wide modern C++ for heterogeneous platforms with SYCL from Khronos Group☆76Updated 3 years ago
- Domain-specific language for IIR filters☆15Updated 7 years ago
- Automatic Differentiation for high-performance stencil loops☆12Updated 3 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- RV: A Unified Region Vectorizer for LLVM☆102Updated 2 months ago
- c++ posit implementation☆43Updated last year
- A portable high-level API with CUDA or OpenCL back-end☆53Updated 6 years ago
- SuiteSparse: a suite of sparse matrix packages by @DrTimothyAldenDavis et al. with native CMake support☆51Updated 2 months ago
- The implementation of the Elevate language☆28Updated 2 months ago
- A system for programming formally-verified loop transformations.☆16Updated 5 years ago
- ☆23Updated 6 years ago
- SYCL-ML is a C++ library, implementing classical machine learning algorithms using SYCL.☆64Updated 4 years ago
- ☆50Updated this week
- Example code used in the CVPR 2015 tutorial☆38Updated 8 years ago
- npcomp - An aspirational MLIR based numpy compiler☆50Updated 4 years ago
- PolyMage is a domain-specific language and optimizing code generator for auto-parallelisation☆11Updated 8 years ago
- Kernel Tuning Toolkit☆54Updated 3 weeks ago