← 최신 프로덕트

Cuq

Formal Verification of Rust GPU Kernels. A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs.

오픈소스

134 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. CubeCL

    github.com

    Multi-Platform GPU Computing

    Hacker News10점

  2. Enki

    github.com

    Write GPU compute kernels in pure stable Rust

    Hacker News10점

  3. wc-GPU

    github.com

    The Unix util `wc` running on a GPU

    Hacker News15점

  4. Eyot

    cowleyforniastudios.com

    A programming language where the GPU is just another thread

    Hacker News79점

  5. Taliesin

    medium.com

    bit-exact KV-cache restore, 21x faster, cross-GPU verified

    Hacker News10점