Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Show HN: Cuq – Formal Verification of Rust GPU Kernels

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Goiaba: An experimental Go compiler, written in Rust

Goiaba: An experimental Go compiler, written in Rust (github.com)

59 points by SchwKatze 1 year ago | 28 comments

Screenshot of github.com: Show HN: Moribito – A TUI for LDAP Viewing/Queries

Show HN: Moribito – A TUI for LDAP Viewing/Queries (github.com)

89 points by woumn 1 year ago | 23 comments

Screenshot of github.com: Nannou – A creative coding framework for Rust

Nannou – A creative coding framework for Rust (github.com)

42 points by dmit 9 months ago | 10 comments

Screenshot of github.com: Show HN: RISC-V core written in 600 lines of C89

Show HN: RISC-V core written in 600 lines of C89 (github.com)

174 points by mnurzia 3 years ago | 67 comments

Screenshot of github.com: Show HN: Gocd – a lightweight Go-based CI/CD tool that runs on your dev machine

Show HN: Gocd – a lightweight Go-based CI/CD tool that runs on your dev machine (github.com)

7 points by soxprox 1 year ago | 2 comments

Screenshot of github.com: Show HN: Claude Reflect – Auto-turn Claude corrections into project config

Show HN: Claude Reflect – Auto-turn Claude corrections into project config (github.com)

53 points by Bayram 9 months ago | 19 comments