人気のプロジェクト
GitHubスター2,000以上100,000未満・各区分のスター順 · 算出方法
★ 5,000–under 10,000・すべてのカテゴリ・602件
★の隣の緑の数字は、前回確認から増えたスター数です · スター数
- 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位
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 - 6位★ 9,937
- 7位★ 9,880
- 8位★ 9,880+6
- 9位
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 - 10位★ 9,874+2
- 11位
ModSecurity helps protect your sites and apps with an OWASP-backed open-source WAF. Flexible rules, active community, trusted by developers.
翻訳待ち
★ 9,868+1 - 12位
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 - 13位★ 9,848
- 14位
A list of EVM-based chains that also allows you to add chains to your favorite Web3 wallet.
翻訳待ち
★ 9,834 - 15位
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
