搜索结果：model（245 个）
按分类缩小范围
tokenizers
综合 64
针对研究和生产环境优化的高性能前沿 Tokenizer 库。
Megatron-LM
综合 64
NVIDIA 开源的大规模 Transformer 语言模型分布式训练研究项目。
chandra
综合 64
支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。
Qwen
综合 63
阿里云开源的通义千问（Qwen）预训练与对话大语言模型官方代码仓库。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
deeplearning4j
综合 63
基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
使用 PyTorch 从零开始、循序渐进实现类似 ChatGPT 的大语言模型教程。
tiktoken
综合 63
适用于 OpenAI 模型的高速 BPE 分词器。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
debug
综合 63
轻量级 JavaScript 调试工具，参考 Node.js 核心调试技术实现，兼容浏览器端。
gel
综合 63
为 Postgres 增强现代数据模型、图查询、Auth 与 AI 解决方案等能力。
tfjs
综合 62
支持 WebGL 硬件加速的 JavaScript 库，用于在前端训练与部署 ML 模型。
ai-toolkit
综合 62
专为微调 Diffusion 模型打造的训练工具包。
Wan2.1
综合 62
开源且先进的大规模视频生成模型。
HRM
综合 62
Hierarchical Reasoning Model（分层推理模型）官方发布仓库。
inspector
综合 62
专为 MCP 服务器打造的确定性测试工具。
ignite
综合 61
历经九年持续打磨的 React Native 项目脚手架，附带 CLI 及组件、模型生成器等工具。
osaurus
综合 61
原生 macOS AI Agent 框架，基于 Swift 构建，完全离线开源，支持任意模型、持久化记忆、自主执行与加密身份。