gvilums / ptoxide
Virtual machine for executing CUDA PTX without a GPU
☆23Updated 10 months ago
Related projects: ⓘ
- Rust bindings to the MLIR C API.☆59Updated last month
- Programming Languages Intermediate Representation☆83Updated last week
- Automatic differentiation in Rust with WGPU support☆22Updated 2 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆22Updated 5 months ago
- Target "triple" support☆48Updated last month
- Propositional logic with types in Rust☆60Updated last year
- Compile Rust into PTX☆13Updated 4 years ago
- rust-cuda working group☆65Updated 5 years ago
- Callgrind-based benchmark harness written in Rust☆24Updated last year
- Example implementation of stack tokens for Rust☆33Updated last year
- Check that a crate builds without libstd☆24Updated 3 years ago
- Arbitrary precision integers library.☆27Updated 3 years ago
- sptr: The Strict Provenance Polyfill☆74Updated 11 months ago
- This custom Rust allocator logs all memory actions for further analysis☆54Updated 4 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 2 years ago
- A symbolic evaluator for MIR☆19Updated 4 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆50Updated 2 weeks ago
- Local-affinity first NUMA-aware allocator with optional fallback.☆24Updated 3 years ago
- A single source Rust co-processor programming framework; runtime && Rust custom drivers☆43Updated 11 months ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated last year
- ☆60Updated last week
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- Define compiler intermediate representation usable by external tools☆57Updated 3 months ago
- DAG scheduler with nice constraint semantics☆18Updated this week
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 3 years ago
- New register allocator designed as a successor to regalloc2☆26Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated 11 months ago
- An arbitrary-precision floating-point library in Rust☆43Updated 7 months ago
- Proposed API for type-driven member access☆12Updated 2 years ago
- Nudging the compiler to auto-vectorize things☆71Updated last year