gvilums / ptoxideLinks
Virtual machine for executing CUDA PTX without a GPU
☆35Updated last year
Alternatives and similar repositories for ptoxide
Users that are interested in ptoxide are comparing it to the libraries listed below
Sorting:
- Rust bindings to the MLIR C API.☆65Updated 2 weeks ago
- An attempt at safe imperative GPU programming.☆45Updated last week
- An experimental optimizing compiler for Bril☆70Updated this week
- benchmarking e-graph extraction☆44Updated last month
- An Extensible Compiler IR Framework☆179Updated 2 weeks ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 3 weeks ago
- Re-implementation of the TASO compiler using equality saturation☆129Updated 4 years ago
- Rewrite Rule Inference Using Equality Saturation☆129Updated 3 weeks ago
- rust-cuda working group☆65Updated 6 years ago
- Tenstorrent system interface library☆24Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- ☆58Updated 9 months ago
- Automatic differentiation in Rust with WGPU support☆23Updated 3 years ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- ☆18Updated 3 weeks ago
- Compile Rust into PTX☆14Updated 5 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 3 weeks ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆46Updated last year
- New register allocator designed as a successor to regalloc2☆38Updated 2 weeks ago
- Propositional logic with types in Rust☆62Updated last year
- sketches for egg: a flexible, high-performance e-graph library☆27Updated 3 months ago
- Asynchronous Software Transactional Memory library for Rust☆27Updated last year
- Rust binding to CUDA APIs☆120Updated 3 months ago
- An awesome list of e-graph resources☆183Updated last month
- RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…☆19Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A minimal development of SSA theory☆145Updated this week
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- The rustic MLIR bindings in Rust☆409Updated this week
- Experimental MLIR Rust compiler☆24Updated last year