AI Dev Impact Lab JA
← Topics ranking · 2026-10
GITHUB TOPIC

#specification-guided-development

GitHub repositories that have self-applied the topic "specification-guided-development" — a creator-tagged metadata that surfaces how AI projects describe themselves.

1
tagged repos
0
top 1 stars
1
with tool sigs
1
shown

REPOS Repos for #specification-guided-development (top 1 by stars)

KimSeogyu/specification-guided-development

Specification-guided development for AI agents: TLA+ models, TLC automata, Pele visualization, and generated TypeScript 7 and Rust linters.

TypeScript ★ 0 AI 70 1 sig

RELATED Other topics · full topics ranking →

#claude-code

2,958

#ai-agents

2,300

#llm

1,750

#claude

1,519

#mcp

1,438

#python

1,403

#developer-tools

1,281

#codex

1,065

#ai

1,063

Aggregated by case-insensitive match against topics_json of each repo's latest content snapshot. methodology