#
rust-cuda
Here are 4 public repositories matching this topic...
A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs
-
Updated
Jul 18, 2026 - Rocq Prover
Windows MSVC support for NVIDIA/cuda-rust: cuda-oxide, cuTile, and shared CUDA host crates.
-
Updated
Nov 11, 2026 - Rust
CPU/GPU wave modeling in pure agentic rust
rust gpu vulkan oceanography scientific-computing spir-v reproducibility metocean research-software ocean-waves code-translation rust-gpu agentic-rag agentic-ai agentic-workflows claude-code agentic-coding rust-cuda agentic-harness wave-modeling
-
Updated
Nov 11, 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."