ucb-sejits / ctreeLinks
A C-family AST implementation designed to be an IR for DSL compilers.
☆17Updated 8 years ago
Alternatives and similar repositories for ctree
Users that are interested in ctree are comparing it to the libraries listed below
Sorting:
- 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
- A domain-specific language and compiler for image processing☆76Updated 4 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 8 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- ☆26Updated 2 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- soap - Structural Optimisation of Arithmetic Programs☆23Updated 9 years ago
- Quickstart for Spatial language☆34Updated 4 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- doppioDB - A hardware accelerated database☆49Updated 8 years ago
- A (Py)thon (D)SL for (G)enerating (In)struction set simulators.☆166Updated 7 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆135Updated 5 years ago
- A parallel, distributed simulator for multicores.☆184Updated 9 years ago
- The Shang high-level synthesis framework☆120Updated 11 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆25Updated 7 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Updated 6 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Linear algebra accelerators for RISC-V (published in ICCD 17)☆66Updated 7 years ago
- Universal Number Library☆42Updated 7 years ago
- GPUVerify: a Verifier for GPU Kernels☆63Updated 2 years ago
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- Languages, Tools, and Techniques for Accelerator Design☆33Updated 3 years ago
- ☆103Updated 3 years ago
- npcomp - An aspirational MLIR based numpy compiler☆51Updated 4 years ago