人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・開発ツール・356件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 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位
Cindy brings multiple agent harnesses, models, tools, memory and skills into one open-source AI agent that is ready to work from day one.
翻訳待ち
★ 9,960+120 - 5位★ 9,937
- 6位★ 9,880
- 7位★ 9,848
- 8位
A list of EVM-based chains that also allows you to add chains to your favorite Web3 wallet.
翻訳待ち
★ 9,834 - 9位
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 - 10位
Spinnaker is an open source, multi-cloud continuous delivery platform for releasing software changes with high velocity and confidence.
翻訳待ち
★ 9,815 - 11位★ 9,786+5
- 12位★ 9,752−1
- 13位
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 - 14位
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 - 15位
Autonomous AI development loop for Claude Code with intelligent exit detection
翻訳待ち
★ 9,729+4
