harsh-nod

harsh-nod/fe2o3

0 stars 0 forks 0 watchers Rust

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

Open Issues Need Help

View All on GitHub

Slice 4: protected Worker V2 launch and MI300X hardware evidence about 1 hour ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Slice 3: protected Worker V2 launch and MI300X hardware evidence about 1 hour ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Shared protected LDS GEMM Worker V2 execution substrate about 1 hour ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Attributed #[kernel] LDS GEMM: bind authenticated source to descriptor and Worker V2 about 1 hour ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Prove attributed kernel source-to-IR refinement and GPU memory safety with Verus about 2 hours ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Verification: extend attributed proof certificates to K-phase, grid, and edge GEMM about 2 hours ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Verification: consume identity-bound Verus certificates during protected admission about 2 hours ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust

Slice 4: lower exact tail and alpha/beta LDS GEMM through upstream LLVM about 2 hours ago

enhancement help wanted status:claimed

harsh-nod/fe2o3

0

Rust

Generalize attributed LDS GEMM across dimensions, strides, tails, and coefficients about 2 hours ago

enhancement help wanted

harsh-nod/fe2o3

0

Rust