熱門專案
GitHub星數達2,000且不足100,000 · 各區間依星數排序 · 統計規則
★ 2,000–不足5,000 · 全部分類 · 821個專案
★旁的綠色數字表示較上次檢查增加的星數 · 星數最多
第393名My TLA+ Home Page
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
翻譯準備中
第394名spark-operator
Kubernetes operator for managing the lifecycle of Apache Spark applications on Kubernetes.
翻譯準備中
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.
翻譯準備中
第400名Natively
AI for interviews & meetings with live coding help, instant answers, and auto notes. Unlike Cluely or FinalRoundAI, invisible during your call — and completely free.
翻譯準備中
第401名Robusta
Robusta groups thousands of alerts into a handful of real incidents, investigates them with full context, and remembers every result.
翻譯準備中
第402名spiceai
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.
翻譯準備中






