gvilums / ptoxide
Virtual machine for executing CUDA PTX without a GPU
☆33Updated last year
Alternatives and similar repositories for ptoxide:
Users that are interested in ptoxide are comparing it to the libraries listed below
- An attempt at safe imperative GPU programming.☆43Updated last week
- Rust bindings to the MLIR C API.☆65Updated 3 weeks ago
- An experimental optimizing compiler for Bril☆65Updated 2 weeks ago
- Re-implementation of the TASO compiler using equality saturation☆125Updated 3 years ago
- Rewrite Rule Inference Using Equality Saturation☆125Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago
- Programming Languages Intermediate Representation☆163Updated last week
- benchmarking e-graph extraction☆37Updated 5 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆97Updated 2 years ago
- Automatic differentiation in Rust with WGPU support☆23Updated 3 years ago
- Interface with the rustc compiler for the purpose of program verification☆136Updated this week
- Easy SMT solver interaction☆35Updated last month
- Website for CS 265☆28Updated 3 months ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆44Updated last year
- Translate Python and JavaScript into MLIR☆15Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- Experimental compiler for deep learning models☆64Updated last week
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆78Updated 3 weeks ago
- Compile Rust into PTX☆14Updated 5 years ago
- Synthesis of Loop-free Programs in Rust☆65Updated 5 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆41Updated this week
- ☆40Updated 3 years ago
- New register allocator designed as a successor to regalloc2☆38Updated last month
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆17Updated last month
- Three implementations of Tarjan’s Union-Find☆18Updated 3 years ago
- RustHorn: A CHC-based automated verifier for Rust☆76Updated last month
- A different approach to an E-graph library☆25Updated 2 weeks ago
- embedding MLIR in LEAN☆47Updated 10 months ago
- A lighweight and parallel snapshot testing framework in rust☆31Updated last year