由于 trendforge.devlive.top 访问受限,请切换到 trendforge.devlive.org 域名
ss
话题找到数量
OpenSenseNova/SenseNova-Skills
用于构建人工智能驱动的办公助理和生产力工作流程的模块化 SenseNova 技能
rocq-prover/rocq
Rocq证明器是交互式定理证明器(或称证明助手),提供形式化语言来编写数学定义、可执行算法和定理,并配备半交互式开发机器验证证明的环境
mono/SkiaSharp
SkiaSharp是基于谷歌Skia图形库的跨平台.NET二维图形接口,提供统一的二维应用程序接口,可应用于移动端、服务器端和桌面端模型的图像渲染。
ossf/scorecard
OpenSSF Scorecard - Security health metrics for Open Source
open-edge-platform/anomalib
一个异常检测库,包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。