Pinned Loading
Repositories
Showing 10 of 24 repositories
- flame-chasoid-flows Public
Flame Chasoid for hmz: the flame chase and its variants (agent cleanup, fixed interrupt, parallel lanes) as subflows of one flow.
- recursive-lean-prover-flow Public
Recursive Lean Prover for hmz: recursively plan, prove, compare, review and catalogue Lean theorems.
- humanize1-flow Public
PolyArch/humanize's gen-idea, gen-plan and RLCR loops as hmz flows: plan first, then build under review.
- kakeya-four-dimensions-lean Public
- kda-wishlist Public
Community wishlist for reproducible kernel definitions, workloads, and validated optimized solutions.