熱門專案
GitHub星數達2,000且不足100,000 · 各區間依星數排序 · 統計規則
★ 2,000–不足5,000 · 全部分類 · 818個專案
★旁的綠色數字表示較上次檢查增加的星數 · 星數最多
- 第391名★ 3,168+4
- 第392名
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
翻譯準備中
★ 3,164+5 - 第393名
Kubernetes operator for managing the lifecycle of Apache Spark applications on Kubernetes.
翻譯準備中
★ 3,156 - 第394名★ 3,152
- 第395名★ 3,142
- 第396名
一位能觀察、閱讀、聆聽並陪伴你的 AI 靈魂伴侶——具有人類般的記憶與情感,存在於她的骨髓中。從桌面到口袋,從深夜遊戲到悠閒瀏覽,她隨時在側。
AI 翻譯
★ 3,140+1 - 第397名★ 3,137+9
- 第398名
Debug and profile React Native & Swift apps faster with Argent: a toolkit for AI agents, helping you control the simulator, inspect issues, and automate testing.
翻譯準備中
★ 3,133+7 - 第399名
AI for interviews & meetings with live coding help, instant answers, and auto notes. Unlike Cluely or FinalRoundAI, invisible during your call — and completely free.
翻譯準備中
★ 3,129+4 - 第400名
Robusta groups thousands of alerts into a handful of real incidents, investigates them with full context, and remembers every result.
翻譯準備中
★ 3,125 - 第401名
Add a real-time analytics node to your operational database. Spice is a portable, accelerated SQL query, search, and LLM-inference engine in Rust for data-grounded AI apps and agents.
翻譯準備中
★ 3,120+4 - 第402名★ 3,118
- 第403名★ 3,117
- 第404名★ 3,116+1
- 第405名
Envoy Gateway Manage your Application and API traffic with Envoy Gateway. Aimed at making it easy to adopt, use, and manage Envoy Proxy. Deploy as a Standalone or Kubernetes-based API Gateway, impleme
翻譯準備中
★ 3,114+2







