ucb-sejits / ctree
A C-family AST implementation designed to be an IR for DSL compilers.
☆16Updated 7 years ago
Alternatives and similar repositories for ctree:
Users that are interested in ctree are comparing it to the libraries listed below
- 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
- A domain-specific language and compiler for image processing☆76Updated 4 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Streaming Message Interface: High-Performance Distributed Memory Programming on Reconfigurable Hardware☆16Updated 3 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 8 months ago
- The Shang high-level synthesis framework☆119Updated 10 years ago
- The CLooG Code Generator in the Polyhedral Model☆46Updated last year
- Some miscellaneous OpenSHMEM examples☆20Updated 2 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- SYCL-ML is a C++ library, implementing classical machine learning algorithms using SYCL.☆66Updated 5 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- Universal Number Library☆41Updated 7 years ago
- a compiler for re-writing image processing functions in C++ to Halide☆23Updated 2 years ago
- ☆14Updated 2 years ago
- ☆23Updated 2 weeks ago
- npcomp - An aspirational MLIR based numpy compiler☆51Updated 4 years ago
- ☆69Updated 4 years ago
- Accelerator Programming Library in C++☆57Updated 6 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆87Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernels☆61Updated 2 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 3 years ago
- Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH☆28Updated 9 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago