由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
pe
话题找到数量
apache/maka
Apache Maka(孵化)是本地优先的 AI 代理工作区。模型消息、工具调用、工具结果、权限决策和终止事件都记录为仅附加日志。
ryanoasis/vim-devicons
为Vim插件添加文件类型图标,例如:NERDTree、vim-airline、CtrlP、unite、Denite、lightline、vim-startify 等诸多插件。
jacklandrin/OnlySwitch
一体化菜单栏应用:隐藏💻MacBook Pro刘海、支持深色模式、AirPods连接及快捷操作
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
Michael-A-Kuykendall/shimmy
⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费,永远免费。
weave-os/router
代理系统的模型路由器。在 <50 毫秒内将每个提示路由到正确的模型。只需更改端点即可将成本削减 40-70%。
ossf/scorecard
OpenSSF Scorecard - Security health metrics for Open Source
open-edge-platform/anomalib
一个异常检测库,包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。
doorkeeper-gem/doorkeeper
Doorkeeper 是 Ruby on Rails / Grape 的 OAuth 2 提供程序。