Ji-Haeng Huh
@jhhuh4 published skills0 installs
4 results
Collection
Hole Driven Development — Claude Code Skills
Enhance your coding process with Hole Driven Development skills for iterative and modular programming.
0
Skill
hole-driven-development-iterative-reasoning
Facilitate iterative reasoning in programming by using visible hole markers for top-down decomposition.
0
Skill
hole-driven-development
Automate your development process using typed hole diagnostics in languages like Haskell, Lean 4, and Rust.
0
Skill
hole-driven-development-core
Facilitate top-down development by decomposing functions into typed holes for iterative filling.
0