Hole Driven Development Skill

Skilluncategorisedclaude-codeclaude-skillshaskellhole-driven-development

Claude Code skills for Hole Driven Development — top-down programming with typed holes. Validated across 24 experiments in 5 languages.

Directory Presence

Cross-referenced across 55 tracked directories

Directory	Status	First Seen	Last Confirmed	Link
G GitHub Search		10/28/2026	10/28/2026

Adoption Metrics & Statistics

#9039

Popularity Rank

1 / 55

Listed In

Emerging

Adoption Stage

3/1/2026

Created

GitHub Stars

3/2/2026

Last Commit

Recently added to the ecosystem

Health Score

13/100

Directory Presence5/20

Community3/30

Usage1/20

Development Activity4/30

Directory Adoption Over Time

Oct 28, 26: + GitHub Search

Security Analysis

Score: 100/100

0 dependency vulnerabilities found

AI Security Scan

Related Skills

anthropic

Anthropic <[email protected]>

The official Python library for the anthropic API

Skilluncategorised

4K4 dirs

litellm

BerriAI

Library to easily interface with LLM API providers

Skilluncategorised

62K4 dirs

promptlayer

Magniv

PromptLayer is a platform for prompt engineering and tracks your LLM requests.

Skilluncategorised

144 dirs

Crawl4AI

Unclecode

🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & scraper

Skilluncategorised

86K4 dirs