Source code for Trinity(ASPLOS 2026)
☆29Apr 24, 2026Updated 6 months ago
Alternatives and similar repositories for Trinity-AE
Users that are interested in Trinity-AE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- "Finding Reusable Instructions via E-Graph Anti-Unification", ASPLOS'26☆13Feb 25, 2026Updated 8 months ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆24Updated this week
- MLIR+EqSat☆33Jan 10, 2026Updated 10 months ago
- ☆20Feb 25, 2026Updated 8 months ago
- Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search☆15Aug 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rust compiler and standard library for FuriosaAI NPUs☆32Oct 30, 2026Updated last week
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation -- ASPLOS'26☆18Mar 31, 2026Updated 7 months ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆28Updated this week
- ASPLOS'24: Optimal Kernel Orchestration for Tensor Programs with Korch☆45Mar 27, 2025Updated last year
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆22Nov 20, 2025Updated 11 months ago
- ☆17Mar 26, 2025Updated last year
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆41Jan 16, 2025Updated last year
- ☆50Sep 24, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A formally-verified compiler IR☆10May 5, 2026Updated 6 months ago
- CODO: An Automated Compiler for Comprehensive Dataflow Optimization☆42Nov 4, 2026Updated last week
- SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)☆35Jan 15, 2026Updated 9 months ago
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- Learning materials for Taskflow programming☆13Feb 9, 2026Updated 9 months ago
- MetaAttention: A Unified and Performant Attention Framework Across Hardware Backends(PPoPP'26)☆18Aug 6, 2026Updated 3 months ago
- Tempo is a system for declarative, efficient, end-to-end compiled dynamic deep learning☆31Oct 21, 2025Updated last year
- A lightweight CuTe-based CUDA kernel for DuoAttention, optimized for large language model inference.☆12Dec 25, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My study note for mlsys☆14Nov 4, 2024Updated 2 years ago
- Python version of tools to work with AIG formatted files☆13Sep 7, 2026Updated 2 months ago
- A lightweight triton-based General Matrix Multiplication (GEMM) library.☆69Nov 5, 2026Updated last week
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 5 years ago
- Benchmarking LLM agents on real-world hardware bug repair tasks☆73Updated this week
- An experimental hardware compiler☆14Aug 21, 2026Updated 2 months ago
- Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conferenc…☆14Sep 19, 2026Updated last month
- An MLIR-based toy DL compiler for TVM Relay.☆62Oct 16, 2022Updated 4 years ago
- Egraphs Modulo Theories☆20Jun 10, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆56Jul 17, 2023Updated 3 years ago
- feedback vertex set solver☆11Nov 1, 2018Updated 8 years ago
- ☆22Jun 18, 2021Updated 5 years ago
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- A curated list for Efficient Large Language Models☆11Mar 25, 2024Updated 2 years ago
- Cheap, Smallest JLink-OB☆16Aug 1, 2025Updated last year
- FractalTensor is a programming framework that introduces a novel approach to organizing data in deep neural networks (DNNs) as a list of …☆32Dec 21, 2024Updated last year
Are these results useful?