- 运行状态
- 在线
- 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
Run MoE models bigger than your RAM. Frontier-size MoE on a phone, laptop, edge. Lossless, on stock llama.cpp. An adaptive streaming optimizer. Any hardware, any OS, any model, any quantization, behin
翻译准备中
OrcaRouter
One OpenAI-compatible AI gateway for production AI — adaptive routing, load balancing, guardrails, agent firewall, observability and governance across 200+ models.
翻译准备中