搜索结果：mod（261 个）
按分类缩小范围
beam
综合 64
统一的批处理与流式数据处理编程模型。
Wan2.2
综合 64
开源且先进的大规模视频生成模型。
chandra
综合 64
支持复杂表格、表单、手写内容及完整版面分析的 OCR 模型。
Qwen
综合 63
阿里云开源的通义千问（Qwen）预训练与对话大语言模型官方代码仓库。
Megatron-LM
综合 63
NVIDIA 开源的大规模 Transformer 语言模型分布式训练研究项目。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
Sortable
综合 63
支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。
ACE-Step-1.5
综合 63
可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。
deeplearning4j
综合 63
基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。
tokenizers
综合 63
针对研究和生产环境优化的高性能前沿 Tokenizer 库。
使用 PyTorch 从零开始、循序渐进实现类似 ChatGPT 的大语言模型教程。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
tiktoken
综合 63
适用于 OpenAI 模型的高速 BPE 分词器。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
gel
综合 63
为 Postgres 增强现代数据模型、图查询、Auth 与 AI 解决方案等能力。
tfjs
综合 62
支持 WebGL 硬件加速的 JavaScript 库，用于在前端训练与部署 ML 模型。
ai-toolkit
综合 62
专为微调 Diffusion 模型打造的训练工具包。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
llmfit
综合 62
支持数百种模型与平台，只需一条命令即可查询适合在当前硬件上运行的 LLM。
interact.js
综合 62
支持拖放、缩放和多点触控手势的 JavaScript 库，具备惯性与吸附效果，兼容现代浏览器及 IE9+。