熱門專案

GitHub星數達2,000且不足100,000 · 各區間依星數排序 · 統計規則

★ 5,000–不足10,000 · 全部分類 · 376個專案

★旁的綠色數字表示較上次檢查增加的星數 · 星數最多

清除篩選

第16名
Plannotator
@backnotprop
免費、開源的 Claude Code、OpenCode、Codex、Pi 與 Droid 評審工具。於執行前審查代理計畫，註解代理撰寫的程式碼，並在本機回傳結構化回饋。
AI 翻譯
開發工具個人
★ 9,755+17
第17名
Lean Programming Language
@leanprover
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
翻譯準備中
開發工具組織
★ 9,749+16
第18名
sqlglot
@tobymao
Python SQL 解析器與轉譯器
AI 翻譯
開發工具個人
★ 9,735+5
第19名
atproto
@bluesky-social
由 Bluesky 創建的社交網路技術
AI 翻譯
社交組織
★ 9,711+3
第20名
kev
@jaredpalmer
基於 Qwen3.5/3.8 的 Jev 類決策模型家族，您可自行訓練與執行。
AI 翻譯
開發工具個人
★ 9,695+28
第21名
The Xonsh Shell
@xonsh
Xonsh 殼是一個以 Python 為核心的殼層。功能完整、跨平台且友善 AI。
AI 翻譯
開發工具組織
★ 9,684−1
第22名
GitHub Star History
@star-history
View and compare GitHub star history graph of open source projects.
翻譯準備中
資料組織
★ 9,674+3
第23名
Private AI Meeting Notetaker
@fastrepl
Anarlog 是開源、隱私優先、在地優先的 Granola AI 替代方案。於私人會議中記錄筆記，將其轉換為可編輯的摘要，並保留本機會議資料與 AI 堆疊。
AI 翻譯
生產力組織
★ 9,620+1
第24名
Worktrunk
@max-sixty
用於 Git worktree 管理的 CLI，為平行 AI 代理工作流程而設計。
AI 翻譯
開發工具個人
★ 9,555+12
第25名
Apache DataFusion
@apache
Apache DataFusion SQL 查詢引擎
AI 翻譯
資料組織
★ 9,549+4
第26名
open-slide
@open-slide
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名
baml
@BoundaryML
用於代理人的程式語言
AI 翻譯
開發工具組織
★ 9,453+2
第28名
Open-source data multitool
@saulpw
命令列互動多功能軟體，用於表格資料。
AI 翻譯
資料個人
★ 9,428
第29名
Seastar
@scylladb
高效能伺服器端應用程式框架
AI 翻譯
開發工具組織
★ 9,406
第30名
iceberg
@apache
An open table format for huge analytic datasets, letting engines like Spark
翻譯準備中
其他組織
★ 9,386+5