harsh-nod

harsh-nod/fe2o3-kernels

Evidence-led Rust GPU kernel tutorials for fe2o3 and Verus

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 2 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 about 1 month 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