由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
high-performance
话题找到数量
NVIDIA/cuda-rust
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
NVlabs/cuda-oxide
cuda-oxy 是一个 Rust 到 CUDA 的编译器,可让您使用安全(ish)、惯用的 Rust 编写(SIMT)GPU 内核。它将标准 Rust 代码直接编译为 PTX——没有 DSL,没有外语绑定,只有 Rust。
tlaplus/tlaplus
TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。