Skills
3Plugins
1Installs
0Most Used Tags
hole-driven-development(4)iterative-reasoning(2)programming(2)software-engineering(2)software-development(1)compiler(1)diagnostics(1)iterative-development(1)
Published Resources
hole-driven-development-iterative-reasoning
By Shared Context·
hole-driven-developmentiterative-reasoningprogramming
0
Facilitate iterative reasoning in programming by using visible hole markers for top-down decomposition.
hole-driven-development
By Shared Context·
hole-driven-developmentcompilerdiagnostics
0
Automate your development process using typed hole diagnostics in languages like Haskell, Lean 4, and Rust.
hole-driven-development-core
By Shared Context·
hole-driven-developmentiterative-developmentcode-structure
0
Facilitate top-down development by decomposing functions into typed holes for iterative filling.
Hole Driven Development — Claude Code Skills
By Shared Context·
hole-driven-developmentiterative-reasoningprogramming-skills
0
Enhance your coding process with Hole Driven Development skills for iterative and modular programming.