harsh-nod

harsh-nod/fe2o3-kernels

Evidence-led Rust GPU kernel tutorials for fe2o3 and Verus

2 good first / help-wanted issues · TypeScript · last activity Aug 15, 2026

0 stars 0 forks 0 watchers TypeScript MIT License

formal-verification gpu rocm rust tutorial verus

View on GitHub Website

2 Open Issues Need Help Last updated: Aug 15, 2026

Open Issues Need Help

View All on GitHub

Replace algorithm tutorial pseudocode with exact executable sources 18 days ago

documentation help wanted

harsh-nod/fe2o3-kernels

0

Evidence-led Rust GPU kernel tutorials for fe2o3 and Verus

TypeScript

#formal-verification#gpu#rocm#rust#tutorial#verus

Publish executable attributed LDS GEMM lessons and synchronized evidence 2 months ago

documentation help wanted status:claimed

harsh-nod/fe2o3-kernels

0

Evidence-led Rust GPU kernel tutorials for fe2o3 and Verus

TypeScript

#formal-verification#gpu#rocm#rust#tutorial#verus