seb-v / amd_challenge_solutionsLinks
☆18Updated 7 months ago
Alternatives and similar repositories for amd_challenge_solutions
Users that are interested in amd_challenge_solutions are comparing it to the libraries listed below
Sorting:
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- Experimental MLIR Rust compiler☆28Updated 2 years ago
- Virtual machine for executing CUDA PTX without a GPU☆42Updated 2 years ago
- ☆31Updated this week
- An attempt at safe imperative GPU programming.☆61Updated 4 months ago
- Rust bindings to the MLIR C API.☆69Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆60Updated this week
- A language server for TableGen and a VSCode extension☆20Updated this week
- Spectre V1 Proof-of-Concept Attack in the Rust Language☆27Updated 9 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆41Updated this week
- Simple RISC-V emulator presented at Rust Nation 2023☆67Updated 2 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆73Updated this week
- Cycle-level, trace-driven, parallel GPU simulator for NVIDIA Pascal.☆15Updated 3 weeks ago
- ☆24Updated last year
- ☆85Updated last week
- Simple library for decoding RISC-V instructions☆24Updated last month
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated last month
- benchmarking e-graph extraction☆49Updated 7 months ago
- Website for CS 265☆33Updated last year
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 4 months ago
- The Solid-State Register Allocator☆87Updated 3 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Updated 2 months ago
- Tenstorrent system interface library☆33Updated 3 weeks ago
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆31Updated 3 months ago
- An Extensible Compiler IR Framework☆235Updated this week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 2 weeks ago
- Rust bindings for libgccjit☆27Updated last month
- ☆37Updated 3 months ago