HIR high-level synthesis compiler
☆11Mar 25, 2024Updated 2 years ago
Alternatives and similar repositories for hir-dev
Users that are interested in hir-dev are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆65Mar 24, 2025Updated last year
- A intelligent matrix format designer for SpMV☆10Oct 10, 2023Updated 3 years ago
- LLVM/MLIR based compiler instrumentation of AMD GPU kernels☆21Jul 13, 2025Updated last year
- A hardware synthesis framework with multi-level paradigm☆45Jan 10, 2025Updated last year
- Code for "An Introduction to Tensor Tiling in MLIR" tutorial given at EuroLLVM 2025☆26Jun 5, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Polyhedral Compilation tool for High Level Synthesis.☆11May 13, 2014Updated 12 years ago
- New MLIR dialect, attributes, and transformations for generating host driver code for AXI-based linalg accelerators.☆11Jan 8, 2024Updated 2 years ago
- A dataflow compiler☆41Updated this week
- A Rust compiler backend and runtime that compiles Rust kernels to many NPU/GPU accelerators via MLIR — vendor-agnostic (Ascend, Trainium,…☆20Updated this week
- ☆11Mar 15, 2023Updated 3 years ago
- ☆14Dec 12, 2024Updated last year
- Accelerator Zoo☆21Oct 14, 2025Updated last year
- TVM learning and research☆13Jan 8, 2021Updated 5 years ago
- A blog for LLVM(v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM.☆13Jun 17, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Apr 15, 2025Updated last year
- ☆17Apr 27, 2026Updated 5 months ago
- An analytical model and map-space exploration tool for GEMMs on HW Accelerators based on spatial architectures☆10Oct 17, 2025Updated last year
- 兆京大学班车预约 for Humans™☆32Mar 19, 2026Updated 7 months ago
- Application Mapping Framework for spatially mapping CGRAs using Genetic Algorithm☆11May 3, 2024Updated 2 years ago
- Python相关翻译及整理资源☆12Apr 26, 2023Updated 3 years ago
- A standalone parser for BSV (Bluespec SystemVerilog) written in Go☆14Dec 20, 2016Updated 9 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆14Sep 19, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 📥 🎯 (1,4/4) an MLIR-based toolchain with Vitis HLS LLVM input/output targeting FPGAs.☆16Nov 15, 2022Updated 3 years ago
- 毕业论文，关注于一个操作系统框架的设计与实现。所使用的工具有gcc、nasm、bochs、gdb、vim等☆14Jun 14, 2011Updated 15 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- A stream to RTL compiler based on MLIR and CIRCT☆17Nov 15, 2022Updated 3 years ago
- ☆13Jan 7, 2025Updated last year
- OpenMP front-end based on LLVM for CGRAs☆11Oct 2, 2022Updated 4 years ago
- HierCGRA: An Open-Source Framework for Large-Scale CGRA with Hierarchical Modeling and Automated Exploration☆15Mar 6, 2023Updated 3 years ago
- This is a passion project where I aim to explore the RTL design topics of my interest.☆13May 23, 2025Updated last year
- ☆41Mar 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Banqi (半棋), also known as Dark Chess (暗棋) or Blind Chess (盲棋), a Chinese board game.☆10May 21, 2015Updated 11 years ago
- [ICML 2025] CoreMatching: Co-adaptive Sparse Inference Framework for Comprehensive Acceleration of Vision Language Model☆16May 27, 2025Updated last year
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- ☆18Updated this week
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆20Updated this week
- ☆17Jan 31, 2023Updated 3 years ago
- Metacompiler to generate an optimised JIT compiler frontend based on an Interpreter definition☆12Updated this week