搜索结果：mod（258 个）
按分类缩小范围
winget-cli
综合 43
Windows 包管理器 WinGet，包含 CLI、PowerShell 模块和 COM API。
Pokedex
综合 43
演示现代 Android 开发的宝可梦应用，基于 MVVM 并集成 Hilt、Coroutines、Flow 等组件。
sushi
综合 43
针对 Apple Silicon 优化的推理引擎，支持 STQ 和 EXL3 格式高品质量化模型。
models （TensorFlow官方模型库）
综合 43
基于 TensorFlow 构建的模型与示例集合。
dragonfly
综合 43
面向现代架构的新一代 Redis 和 Memcached 替代方案。
oceanbase
综合 43
面向 AI 时代的开源多模态分布式数据库，单引擎应对严苛工作负载。
andee
综合 42
运行在手机或 Mac 上的 AI 助手，无需集成和 Root 即可操作任意 App，数据不离端。
bumblebee
综合 42
Axon 中的预训练神经网络模型库，集成 Hugging Face 模型。
AFLplusplus
综合 42
基于 AFL 的前沿模糊测试工具，支持 QEMU 5.1、无冲突覆盖率、laf-intel 与 redqueen 增强等特性
servers （MCP参考服务端实现）
综合 42
Model Context Protocol（MCP）官方参考服务器实现库。
KurrentDB
综合 42
专为现代应用和事件驱动架构打造的原生事件数据库，简化数据建模并保障数据完整性。
akka.net
综合 42
.NET 的标准 Actor 模型实现，支持在 C# 和 F# 中运行本地及分布式 Actor。
FreeCAD
综合 41
FreeCAD 官方源码，一款免费开源的跨平台 3D 参数化建模软件。
arangodb
综合 41
原生多模型数据库，支持文档、图和键值模型，提供类 SQL 查询语言与 JavaScript 扩展。
openscad
综合 41
专为程序员打造的参数化 3D CAD 建模软件。
whisper.cpp
综合 40
OpenAI Whisper 语音识别模型的 C/C++ 高性能移植实现。
apalache
综合 40
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
colibri
综合 36
C 语言编写的 MoE 分层推理引擎，按热度在 GPU、RAM 与 NVMe 间调度专家权重。