- 運作狀態
- 上線中
- 30 天上線率 100%
- 最近程式碼更新
- 11月7日
- 活躍儲存庫
- 貢獻者
- 1 人
- 分支 0
- 授權條款
- GitHub 自動辨識 · 先前收集的資料 · 收集於 11月10日
- nomorevibe 收錄
- 11月10日
- 儲存庫建立於 2026年10月
語言組成
- Lean 89.8%
- TeX 8.6%
- Python 0.9%
- Shell 等 0.7%
更新最近 30 天 1 筆
全部- v0.1.0: partial Chemotaxis III formalizationGitHub 發布版本 ↗
開發工具 分類的熱門專案
依最近已完成的 8 小時觀測回合間的 GitHub 星號增量排序
DBDelve
Dive deep into your data. A fast, native, multi-engine database client written in Rust. Free and open source, no telemetry.
翻譯準備中
BigMoeOnEdge
在任何硬體、任何 OS、任何模型、任何量化下，於手機、筆電、邊緣設備上執行超出 RAM 容量的 MoE 模型，無損失，使用原生 llama.cpp，具自適應串流最佳化器。
AI 翻譯
OrcaRouter
One OpenAI-compatible AI gateway for production AI — adaptive routing, load balancing, guardrails, agent firewall, observability and governance across 200+ models.
翻譯準備中