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

1 Open Issue Need Help Last updated: Aug 15, 2026

Open Issues Need Help

View All on GitHub

Publish executable attributed LDS GEMM lessons and synchronized evidence about 1 hour 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