人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・すべてのカテゴリ・528件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 1位
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻訳待ち
★ 9,987+7 - 2位
Transform VS Code into a Git powerhouse with GitLens, now backed by GitKraken AI. View blame, authorship, commit history & more—free or with GitLens Pro.
翻訳待ち
★ 9,973+1 - 3位
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 - 4位★ 9,961
- 5位★ 9,937
- 6位★ 9,880
- 7位
Anarlog is the open-source, privacy-first, local-first alternative to Granola AI. Take notes during private meetings, turn them into editable summaries, and keep your local meeting data and AI stack u
翻訳待ち
★ 9,876+3 - 8位★ 9,873−1
- 9位
The WPScan CLI tool is a free, for non-commercial use, black box WordPress security scanner written for security professionals and blog maintainers to test the security of their sites.
翻訳待ち
★ 9,852+2 - 10位★ 9,848
- 11位
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 - 12位★ 9,822
- 13位
Spinnaker is an open source, multi-cloud continuous delivery platform for releasing software changes with high velocity and confidence.
翻訳待ち
★ 9,815 - 14位
SeaTunnel is a multimodal, high-performance, distributed, massive data integration tool.
翻訳待ち
★ 9,802+3 - 15位
Boards, Gantt charts, and GitHub integration, hosted for you on Kaneo Cloud. Start a 14-day free trial, no credit card required.
翻訳待ち
★ 9,797+6
