搜索结果：mp（192 个）

〔中文简介暂未生成〕 The Egison Programming Language

Magnolia 是一个用于 Scala 的类型类（Typeclass）自动派生工具。它解决了手动为复杂数据类型编写重复模板代码的痛点。核心功能是通过轻量级语法，为样例类（case classes）和枚举/密封特质（sealed traits）自动生成类型类实例，开箱即用支持递归数据结构且编译速度极快。

阿里经实战检验的混合架构代码评审工具，结合确定性流程与 LLM Agent 行级审查。

基于 PyTorch 实现的去噪扩散概率模型（DDPM）。

Serverless Postgres 数据库，采用存储计算分离架构，支持自动扩缩容、代码化数据库分支以及缩容至零。

用 C++ 实现的数学、机器学习、计算机科学与物理算法教学合集。

基于 LLM 的知识库问答平台，提供数据处理、RAG 检索及可视化 AI 工作流编排。

涵盖视觉、文本和强化学习等领域的 PyTorch 示例集。

多种注意力机制、MLP、重参数化及卷积的 PyTorch 实现，辅助理解学术论文。

〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko

面向科研的高质量单文件深度强化学习算法实现（含 PPO、DQN、SAC 等）

收录 Cursor、Claude Code 等多款 AI 工具的完整 System Prompts 与模型。

CVPR 2024 论文 MagicAnimate 官方仓库：基于扩散模型的时序一致人物图像动画生成。

基于 PyTorch 实现的图像到图像转换算法（CycleGAN 与 pix2pix）。

微软官方推出的 AI 入门教程，涵盖 12 周共 24 节基础课程。

基于本地模型的私有 AI 应用 API 层，支持 RAG、工具、MCP 及 Text-to-SQL 等，兼容 OpenAI 接口。

quip 网络挖矿技术栈，包含协调器并连接所有官方 quip 网络矿工。

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

极为简便的人脸识别 API，支持 Python 和命令行调用。

整理了各类计算机科学（CS）视频讲座的精品课程列表。