热门项目
GitHub星数达到2,000且不足100,000 · 各区间按星数排序 · 统计规则
★ 5,000–不足10,000 · 全部分类 · 376个项目
★旁的绿色数字表示较上次检查增加的星数 · 星数最多
- 第16名
免费、开源的 Claude Code、OpenCode、Codex、Pi 和 Droid 审核工具。审查代理计划在执行前，标注代理生成的代码，并在本地发送结构化反馈。
AI 翻译
★ 9,755+17 - 第17名
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻译准备中
★ 9,749+16 - 第18名★ 9,735+5
- 第19名★ 9,708+1
- 第20名★ 9,695+28
- 第21名
The Xonsh shell is a Python-powered shell. Full-featured, cross-platform and AI-friendly.
翻译准备中
★ 9,684−1 - 第22名
View and compare GitHub star history graph of open source projects.
翻译准备中
★ 9,671 - 第23名
Anarlog 是开源、隐私优先、本地优先的 Granola AI 替代品。会议期间记笔记，将其转化为可编辑的摘要，并保留本地会议数据和 AI 堆栈。
AI 翻译
★ 9,620+1 - 第24名★ 9,555+12
- 第25名★ 9,549+4
- 第26名
A React-first slide framework authored by AI agents. Each page is arbitrary code on a 1920×1080 canvas — versioned, reviewable, yours.
翻译准备中
★ 9,461+11 - 第27名★ 9,453+2
- 第28名★ 9,428
- 第29名★ 9,406
- 第30名★ 9,386+5
