热门项目
GitHub星数达到2,000且不足100,000 · 各区间按星数排序 · 统计规则
★ 5,000–不足10,000 · 全部分类 · 445个项目
★旁的绿色数字表示较上次检查增加的星数 · 星数最多
- 第16名★ 9,774+6
- 第17名★ 9,757+48
- 第18名
免费、开源的 Claude Code、OpenCode、Codex、Pi 和 Droid 审核工具。审查代理计划在执行前，标注代理生成的代码，并在本地发送结构化反馈。
AI 翻译
★ 9,755+17 - 第19名
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻译准备中
★ 9,749+16 - 第20名★ 9,735+5
- 第21名★ 9,720+2
- 第22名★ 9,708+1
- 第23名★ 9,695+28
- 第24名
The Xonsh shell is a Python-powered shell. Full-featured, cross-platform and AI-friendly.
翻译准备中
★ 9,684−1 - 第25名
View and compare GitHub star history graph of open source projects.
翻译准备中
★ 9,671 - 第26名
A collection of public APIs for developers, categorized and crowdsourced. Animals, books, cryptocurrencies, development, music, weather and much more.
翻译准备中
★ 9,654+5 - 第27名
通过更改一行代码即可将 GPT 替换为任意 LLM。Xinference 让您在云端、本地或笔记本上运行开源、语音和多模态模型——全部通过统一的、可投入生产的接口。
AI 翻译
★ 9,632+2 - 第28名
Anarlog 是开源、隐私优先、本地优先的 Granola AI 替代品。会议期间记笔记，将其转化为可编辑的摘要，并保留本地会议数据和 AI 堆栈。
AI 翻译
★ 9,620+1 - 第29名★ 9,557+2
- 第30名★ 9,555+12
