model

五节课程，学习如何真正将人工智能应用于.NET应用程序

面向昇腾平台的vLLM社区维护硬件插件

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

使用PyTorch从零开始逐步实现一个推理大语言模型

QuantAgent官方仓库

HunyuanImage-3.0：一个强大的原生多模态图像生成模型

模型火箭空气动力学与弹道仿真软件

gem5计算机系统架构模拟器的官方代码库。

MCP Apps协议规范与SDK官方仓库——用于嵌入式AI聊天机器人界面的标准，由MCP服务器提供支持

海量异构三维地理空间数据流技术规范 🌎

将代码探索中的AI token成本削减95%以上。领先的MCP服务器，通过tree-sitter AST实现精确的符号级GitHub代码检索。兼容Claude Code、Cursor及任何MCP客户端。已节省超过3130亿token。

使用Liquid AI基础模型与LEAP SDK构建的示例、端到端教程及应用

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

用于集成MCP服务器的JADX插件

全球最智能的全系统语法助手；Apple Intelligence写作工具的增强版。支持Windows、Linux和macOS，可配合免费Gemini API、本地大语言模型等使用。

动手学Ollama，在CPU上玩转大模型部署，在线阅读地址：https://datawhalechina.github.io/handy-ollama/

概率规划的贝叶斯推理。

免费获取GPT-5.5、Claude、DeepSeek、Gemini、Grok的LLM API密钥——复制、粘贴、使用。每日更新3-5次。无需信用卡。

👾 Open Computer Use – Codex Computer Use 的开源替代方案

ToolHive 让 MCP 服务器部署变得简单、安全且充满乐趣

dLLM：简易扩散语言建模框架

NVIDIA Nemotron 开发者资源中心——提供训练方案、使用指南及完整端到端参考示例的一站式资源库，助力基于Nemotron模型的开发。

Matrix-Game 3.0：具备长时记忆的实时流式交互世界模型

适用于 Kubernetes 和 OpenShift 的模型上下文协议服务器