harsh-nod

harsh-nod/fe2o3

59 good first / help-wanted issues · Rust · last activity Aug 15, 2026

0 stars 0 forks 0 watchers Rust
View on GitHub
59 Open Issues Need Help Last updated: Aug 15, 2026

Open Issues Need Help

View All on GitHub
Runtime: build an asynchronous distributed direct-KFD execution plane 17 days ago
enhancement help wanted priority:P2 area:runtime
harsh-nod/fe2o3
0

Rust
Compiler D7: consume canonical LLVM handoff in the isolated upstream LLVM worker 18 days ago
enhancement help wanted status:claimed area:compiler
harsh-nod/fe2o3
0

Rust
Compiler D7: lower typed amdgcn operations through pliron-llvm 18 days ago
enhancement help wanted status:claimed area:compiler
harsh-nod/fe2o3
0

Rust
Tooling: build an agent-native semantic GPU debugger and profiler 18 days ago
enhancement help wanted priority:P2 area:tooling
harsh-nod/fe2o3
0

Rust
Tooling: add a deterministic CPU semantic simulator and virtual GPU runtime 18 days ago
enhancement help wanted priority:P2 area:tooling
harsh-nod/fe2o3
0

Rust
Compiler: migrate to Pliron with Rust-native structured, scheduled, and verified GPU IR 18 days ago
enhancement help wanted area:compiler
harsh-nod/fe2o3
0

Rust
Compiler D7: differential, hostile and gfx942 qualification for the Pliron LLVM route about 2 months ago
enhancement help wanted status:claimed area:compiler
harsh-nod/fe2o3
0

Rust
Compiler: formally verified megakernels and persistent GPU execution about 2 months ago
enhancement help wanted priority:P2 area:compiler
harsh-nod/fe2o3
0

Rust
General LDS GEMM: parameterized Kernel IR and upstream-LLVM lowering about 2 months ago
enhancement help wanted area:compiler
harsh-nod/fe2o3
0

Rust
General LDS GEMM: attributed #[kernel] source and compiler import about 2 months ago
enhancement help wanted area:compiler
harsh-nod/fe2o3
0

Rust
GEMM: deliver a general tiled kernel with semantic compile-fail safety corpus about 2 months ago
enhancement help wanted area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: attributed MoE expert GEMM and combine about 2 months ago
enhancement help wanted status:claimed priority:P2 wave:moe area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: deterministic attributed top-2 MoE routing about 2 months ago
enhancement help wanted status:claimed priority:P2 wave:moe area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: attributed fixed-shape FlashAttention forward about 2 months ago
enhancement help wanted status:claimed priority:P1 wave:attention area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: attributed protected row softmax about 2 months ago
enhancement help wanted status:claimed priority:P0 wave:softmax area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: attributed LDS barriers and scoped atomics about 2 months ago
enhancement help wanted status:claimed priority:P0 wave:collectives area:kernels
harsh-nod/fe2o3
0

Rust
Tutorial vertical slice: attributed Wave64 reduction and scan about 2 months ago
enhancement help wanted status:claimed priority:P0 wave:collectives area:kernels
harsh-nod/fe2o3
0

Rust
Slice 5: independently admit and benchmark optimized LDS GEMM profiles about 2 months ago
enhancement help wanted area:kernels
harsh-nod/fe2o3
0

Rust
General LDS GEMM: specialization schema and checked host planner about 2 months ago
enhancement help wanted area:kernels
harsh-nod/fe2o3
0

Rust
Generalize attributed LDS GEMM across dimensions, strides, tails, and coefficients about 2 months ago
enhancement help wanted area:kernels
harsh-nod/fe2o3
0

Rust
Runtime: implement a formally verified pure-Rust KFD/AMDGPU runtime about 2 months ago
enhancement help wanted priority:P2 area:runtime
harsh-nod/fe2o3
0

Rust
W1: durably consume committed broker session with admitted host output about 2 months ago
enhancement help wanted priority:P0 area:runtime
harsh-nod/fe2o3
0

Rust
Stabilize Worker V2 acknowledgment handoff in generic CI about 2 months ago
bug help wanted area:runtime
harsh-nod/fe2o3
0

Rust
W1: bind cargo-fe2o3 broker identity and durable admitted host artifact about 2 months ago
enhancement help wanted priority:P0 area:runtime
harsh-nod/fe2o3
0

Rust
FlashAttention: protected MI300X execution and evidence about 2 months ago
enhancement help wanted priority:P1 wave:attention area:runtime
harsh-nod/fe2o3
0

Rust
Slice 2: attributed K-phase LDS GEMM through protected MI300X execution about 2 months ago
enhancement help wanted area:runtime
harsh-nod/fe2o3
0

Rust
General LDS GEMM: protected runtime and MI300X correctness matrix about 2 months ago
enhancement help wanted area:runtime
harsh-nod/fe2o3
0

Rust
Slice 1: protected source-authenticated LDS GEMM execution on MI300X about 2 months ago
enhancement help wanted area:runtime
harsh-nod/fe2o3
0

Rust
Slice 4: protected Worker V2 launch and MI300X hardware evidence about 2 months ago
enhancement help wanted area:runtime
harsh-nod/fe2o3
0

Rust
Slice 3: protected Worker V2 launch and MI300X hardware evidence about 2 months ago
enhancement help wanted area:runtime
harsh-nod/fe2o3
0

Rust
Verification: require production certificates for Grid and Edges protected launches about 2 months ago
enhancement help wanted area:verification
harsh-nod/fe2o3
0

Rust
Verification: establish Kernel IR-to-LLVM/ISA safety correspondence for LDS GEMM about 2 months ago
enhancement help wanted area:verification
harsh-nod/fe2o3
0

Rust
Verification: prove attributed MIR-to-Kernel-IR semantic refinement about 2 months ago
enhancement help wanted status:claimed area:verification
harsh-nod/fe2o3
0

Rust
Verification: extend attributed proof certificates to K-phase, grid, and edge GEMM about 2 months ago
enhancement help wanted area:verification
harsh-nod/fe2o3
0

Rust
Verification: consume identity-bound Verus certificates during protected admission about 2 months ago
enhancement help wanted area:verification
harsh-nod/fe2o3
0

Rust
Prove attributed kernel source-to-IR refinement and GPU memory safety with Verus about 2 months ago
enhancement help wanted status:claimed area:verification
harsh-nod/fe2o3
0

Rust
Stabilize capability-broker concurrency tests in hosted generic CI about 2 months ago
bug help wanted area:ci
harsh-nod/fe2o3
0

Rust
Coordination: stage validation batches and serialize MI300X evidence about 2 months ago
enhancement help wanted area:ci
harsh-nod/fe2o3
0

Rust
Coordination: add a read-only dependency and write-set scheduler about 2 months ago
enhancement help wanted area:ci
harsh-nod/fe2o3
0

Rust
Coordination: enforce machine-readable issue leases and stale-claim cleanup about 2 months ago
enhancement help wanted area:ci
harsh-nod/fe2o3
0

Rust
LDS GEMM: synchronize fe2o3 parity evidence, dashboard, and status documentation about 2 months ago
enhancement help wanted area:ci
harsh-nod/fe2o3
0

Rust
Compiler D7: bind V2 module bytes to Worker V2 measurement and request 2 months ago
enhancement help wanted
harsh-nod/fe2o3
0

Rust
Compiler D7: serialize admitted handoff V2 to exact bounded LLVM assembly 2 months ago
enhancement help wanted
harsh-nod/fe2o3
0

Rust
Compiler D7: extract complete Pliron scalar def-use graph into handoff V2 2 months ago
enhancement help wanted
harsh-nod/fe2o3
0

Rust
Compiler D7: execute and inspect first Pliron-derived scalar HSACO on gfx942 2 months ago
enhancement help wanted
harsh-nod/fe2o3
0

Rust
Compiler D7: define canonical LLVM handoff and fail-closed AMDGPU semantics 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Compiler D0: adopt dialect-only pliron-llvm with LLVM closure guards 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
W0: authenticate static host-LLD build closure and evidence 2 months ago
enhancement help wanted status:claimed priority:P0
harsh-nod/fe2o3
0

Rust
W0: authenticated HostLinkClosure V1 and sealed result transport 2 months ago
enhancement help wanted status:claimed priority:P0
harsh-nod/fe2o3
0

Rust
W0: static upstream-LLVM host LLD secure execution boundary 2 months ago
enhancement help wanted status:claimed priority:P0
harsh-nod/fe2o3
0

Rust
Verification: prove the exact attributed row-softmax contract 2 months ago
enhancement help wanted status:claimed priority:P0 wave:softmax
harsh-nod/fe2o3
0

Rust
Shared LDS GEMM: Worker V2 load, dispatch, completion, and unload lifecycle 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Shared protected LDS GEMM Worker V2 execution substrate 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Shared LDS GEMM: generated BF16/F32 host adapter and admission 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Shared LDS GEMM: upstream-LLVM finalizer and artifact binding 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Shared LDS GEMM: sealed exact profile and descriptor registry 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
LDS GEMM: define one shared BF16/FP32 numerical contract and oracle 2 months ago
enhancement help wanted
harsh-nod/fe2o3
0

Rust
Attributed #[kernel] LDS GEMM: bind authenticated source to descriptor and Worker V2 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust
Slice 4: lower exact tail and alpha/beta LDS GEMM through upstream LLVM 2 months ago
enhancement help wanted status:claimed
harsh-nod/fe2o3
0

Rust