搜索结果：model（12 个）
按分类缩小范围
Speech
综合 72
NVIDIA 的生成式 AI 框架，专为大语言模型、多模态及语音 AI（ASR 与 TTS）研究与开发打造。
magika
综合 66
Google 开源的 AI 驱动文件内容类型快速高精准检测工具。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
dia
综合 56
支持一次性生成超逼真对话的 TTS（文本转语音）模型。
oceanbase
综合 56
面向 AI 时代的开源多模态分布式数据库，单引擎应对严苛工作负载。
Open-Generative-AI
综合 53
开源 AI 音视频生成平台，支持自托管与 600+ 模型，无审查过滤，基于 MIT 协议。
chandra
综合 53
支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。
diffusers
综合 49
基于 PyTorch 的前沿扩散模型库，支持图像、视频和音频生成。
openscad
综合 49
专为程序员打造的参数化 3D CAD 建模软件。
quivr
综合 47
将持续内容流转化为搜索与监控的开源引擎，支持混合搜索、告警与插件扩展。
FluidAudio
综合 42
Swift 音频库，为应用提供前沿 CoreML 模型，支持 TTS、STT、语音活动检测与说话人日志。
servers （MCP参考服务端实现）
综合 42
Model Context Protocol（MCP）官方参考服务器实现库。