← Latest products

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.

Open source

134 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. CubeCL

    github.com

    Multi-Platform GPU Computing

    Hacker News10 pts

  2. Enki

    github.com

    Write GPU compute kernels in pure stable Rust

    Hacker News10 pts

  3. wc-GPU

    github.com

    The Unix util `wc` running on a GPU

    Hacker News15 pts

  4. Eyot

    cowleyforniastudios.com

    A programming language where the GPU is just another thread

    Hacker News79 pts

  5. Taliesin

    medium.com

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

    Hacker News10 pts