rust-cuda

Here are 2 public repositories matching this topic...

Demo project showing a single Rust codebase running on CPU and directly on GPUs

rust gpu vulkan cuda rust-gpu rust-cuda

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels

Add a description, image, and links to the rust-cuda topic page so that developers can more easily learn about it.

To associate your repository with the rust-cuda topic, visit your repo's landing page and select "manage topics."