#

rust-cuda

Here are 3 public repositories matching this topic...

LegNeato / rust-gpu-chimera

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

rust gpu vulkan cuda rust-gpu rust-cuda

Updated Apr 4, 2026
Rust

neelsomani / vericuda

A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs

formal-verification cuda-programming rust-cuda

Updated Jul 18, 2026
Rocq Prover

ansidium / cuda-rust-windows

Windows MSVC support for NVIDIA/cuda-rust: cuda-oxide, cuTile, and shared CUDA host crates.

windows rust gpu cuda nvidia high-performance-computing msvc compiler-backend rust-cuda

Updated Oct 12, 2026
Rust

Add this topic to your repo

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