人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・開発ツール・315件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 1位
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻訳待ち
★ 9,987+7 - 2位
Jev-like family of decision models built on top of Qwen3.5/3.8 you can train and run on your own
翻訳待ち
★ 9,972+12 - 3位★ 9,961
- 4位★ 9,937
- 5位★ 9,898
- 6位★ 9,880
- 7位★ 9,848
- 8位
Hunk is a review-first terminal diff viewer for agent-authored changesets. Multi-file review stream, inline AI annotations, watch mode, TypeScript extensions, and Git/Jujutsu integration.
翻訳待ち
★ 9,824+1 - 9位
Spinnaker is an open source, multi-cloud continuous delivery platform for releasing software changes with high velocity and confidence.
翻訳待ち
★ 9,815 - 10位★ 9,786+5
- 11位★ 9,752−1
- 12位
A React-first slide framework authored by AI agents. Each page is arbitrary code on a 1920×1080 canvas — versioned, reviewable, yours.
翻訳待ち
★ 9,749+10 - 13位
HTML Anything is the agentic HTML editor from the OpenDesign family. Reuse the coding-agent CLI you already authenticated — Claude Code, Codex, Cursor…
翻訳待ち
★ 9,747+222 - 14位
Autonomous AI development loop for Claude Code with intelligent exit detection
翻訳待ち
★ 9,729+4 - 15位
The Xonsh shell is a Python-powered shell. Full-featured, cross-platform and AI-friendly.
翻訳待ち
★ 9,698+1
