gvilums / ptoxideLinks
Virtual machine for executing CUDA PTX without a GPU
☆41Updated 2 years ago
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.☆69Updated last month
- An attempt at safe imperative GPU programming.☆60Updated 4 months ago
- An experimental optimizing compiler for Bril using egglog☆81Updated 3 weeks ago
- An Extensible Compiler IR Framework☆228Updated this week
- Rewrite Rule Inference Using Equality Saturation☆148Updated 6 months ago
- Rust binding to CUDA APIs☆118Updated 8 months ago
- Re-implementation of the TASO compiler using equality saturation☆136Updated 4 years ago
- rust-cuda working group☆65Updated 6 years ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 6 months ago
- benchmarking e-graph extraction☆48Updated 7 months ago
- HowTo: Compile CUDA with nvcc, and link to Rust☆51Updated 7 years ago
- Automatic differentiation in Rust with WGPU support☆24Updated 4 years ago
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 5 months ago
- Tenstorrent system interface library☆33Updated this week
- The rustic MLIR bindings in Rust☆454Updated this week
- Synthesis of Loop-free Programs in Rust☆66Updated 5 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 3 weeks ago
- An arbitrary-precision floating-point library in Rust☆46Updated 7 months ago
- Asynchronous Software Transactional Memory library for Rust☆27Updated last year
- The missing puzzle piece for NVPTX experience with Rust☆62Updated 5 years ago
- Compile Rust into PTX☆14Updated 5 years ago
- Define compiler intermediate representation usable by external tools☆96Updated last month
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- ☆37Updated 3 months ago
- Experimentation using the xla compiler from rust☆99Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆106Updated 3 years ago
- VS Code extension to verify Rust programs with the Prusti verifier.☆24Updated 2 weeks ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆45Updated 2 years ago