热门项目
GitHub星数达到2,000且不足100,000 · 各区间按星数排序 · 统计规则
★ 5,000–不足10,000 · 开发工具 · 228个项目
★旁的绿色数字表示较上次检查增加的星数 · 星数最多
- 第1名★ 9,978+3
- 第2名
RF-DETR 是由 Roboflow 提供的实时 transformer，用于目标检测、实例分割和关键点检测（预览）。采用 DINOv2 主干，在 COCO 上达到 SOTA（60.1 AP50:95）。Apache 2.0 许可证。
AI 翻译
★ 9,930+9 - 第3名★ 9,913+3
- 第4名
Open-source framework for AI agents that control iOS and Android devices. LLM-agnostic. Multi-agent architecture. Published iOSWorld and AndroidWorld action replays.
翻译准备中
★ 9,866+11 - 第5名★ 9,865+1
- 第6名★ 9,827
- 第7名★ 9,816+1
- 第8名
免费、开源的 Claude Code、OpenCode、Codex、Pi 和 Droid 审核工具。审查代理计划在执行前，标注代理生成的代码，并在本地发送结构化反馈。
AI 翻译
★ 9,755+17 - 第9名
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻译准备中
★ 9,749+16 - 第10名★ 9,735+5
- 第11名★ 9,695+28
- 第12名
The Xonsh shell is a Python-powered shell. Full-featured, cross-platform and AI-friendly.
翻译准备中
★ 9,684−1 - 第13名★ 9,555+12
- 第14名
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 - 第15名★ 9,453+2
