搜索结果：mod（261 个）
按分类缩小范围
minimind
综合 66
支持在 2 小时内从零开始训练一个 64M 参数的 LLM。
PaddleSpeech
综合 66
易用的语音工具包，包含 ASR、流式 TTS、声纹识别及端到端语音翻译等。
微软出品的 21 节生成式 AI 入门教程，带你从零构建 AI 应用。
python-sdk
综合 65
Model Context Protocol 服务端与客户端的官方 Python SDK。
lm-evaluation-harness
综合 65
用于语言模型少样本（few-shot）评估的测试框架。
dbt
综合 65
让数据分析师和工程师能运用软件工程最佳实践进行数据转换。
Chat2DB
综合 65
免费跨平台、本地优先的数据库客户端与 SQL 工作区，支持 40+ 种数据库。
Open-AutoGLM
综合 65
开源手机 Agent 模型与框架，让每个人都能用上 AI 手机。
vision
综合 65
PyTorch 专用于计算机视觉的数据集、数据变换工具和预训练模型库。
tabler
综合 65
基于 Bootstrap 的开源后台管理模板，含 100+ 页面并支持暗黑模式。
trl
综合 65
使用强化学习训练 Transformer 语言模型的工具库。
graphiql
综合 64
用于构建浏览器和 IDE 工具的 GraphiQL 与 GraphQL LSP 参考生态。
PentestGPT
综合 64
基于大语言模型构建的自动化渗透测试智能体框架。
yolov3
综合 64
YOLOv3 系列的 PyTorch 实现，支持实时目标检测的训练、验证、推理及多格式导出
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 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。