☆60Dec 9, 2025Updated 2 months ago
Alternatives and similar repositories for structured-additive-IR
Users that are interested in structured-additive-IR are comparing it to the libraries listed below
Sorting:
- Compiler with automatic differentiation☆49Oct 18, 2023Updated 2 years ago
- ☆13May 28, 2024Updated last year
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Nov 2, 2023Updated 2 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆49Apr 5, 2024Updated last year
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- ☆12Mar 26, 2025Updated 11 months ago
- Criticality-aware Framework for Modeling Computer Performance☆33Dec 15, 2024Updated last year
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Sep 1, 2022Updated 3 years ago
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 13 years ago
- code for examining determinism of performance counters☆21Mar 18, 2021Updated 4 years ago
- A GitHub action to run clang-tidy and annotate failures☆14Jul 12, 2023Updated 2 years ago
- Hardware performance counter tool for Windows OS☆17Sep 4, 2018Updated 7 years ago
- A shader system built using staged metaprogramming☆15Jul 9, 2022Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 4 years ago
- ☆16May 20, 2019Updated 6 years ago
- Skeletonide is a parallel implementation of Zhang-Suen morphological thinning algorithm written in Halide-lang. Use it for fast skeletoni…☆14Oct 21, 2020Updated 5 years ago
- CaPI: Compiler-assisted Performance Instrumentation☆18Updated this week
- Cairo lua bindings with extensions for torch☆15Jun 12, 2016Updated 9 years ago
- ☆16Mar 23, 2023Updated 2 years ago
- Haskell bindings for MLIR☆122Feb 24, 2026Updated last week
- Optimal approximate sampling from discrete probability distributions☆18Mar 9, 2021Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 8 years ago
- Quick 'n' Dirty benchmarks for various integer parsing methods in C++☆41Jun 6, 2020Updated 5 years ago
- ☆422Jan 4, 2026Updated last month
- A survey on architectural simulators focused on CPU caches.☆16Feb 8, 2020Updated 6 years ago
- IREE C++ Template☆17Jul 30, 2024Updated last year
- ☆26May 7, 2021Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- Drivers of the bolt robot☆24Aug 17, 2023Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 8 months ago
- Program analysis tool based on software performance counters☆57May 13, 2021Updated 4 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Sep 4, 2016Updated 9 years ago
- Safelight is a web application that aids in developing Halide programs. It currently works for x86-64 Linux and Mac OS machines running t…☆22Dec 5, 2018Updated 7 years ago
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Oct 31, 2017Updated 8 years ago