
ds4
Redis 作者写的 DeepSeek 专用推理引擎。该项目是 Redis 作者用 C 语言开发,专为 DeepSeek-V4-Flash 模型设计的本地轻量级推理引擎。它并非简单的 GGUF 运行工具,而是功能齐全的独立推理引擎,支持 Metal、CUDA 硬件加速、2-bit 量化、磁盘 KV 缓存持久化、HTTP API 服务和编程智能体等功能。

从零开始学习 AI 工程。这是一套免费、开源、完整的 AI 工程学习教程,共分为 20 个阶段、435 节课、学习时长约 320 小时。内容从线性代数等数学基础出发,贯穿机器学习基础、深度学习、Transformer、大语言模型、Agent 工程到多 Agent 系统等方面。每节课均需从数学推导开始编写代码、运行测试,从而深入理解它们的原理和运行机制。

Redis 作者写的 DeepSeek 专用推理引擎。该项目是 Redis 作者用 C 语言开发,专为 DeepSeek-V4-Flash 模型设计的本地轻量级推理引擎。它并非简单的 GGUF 运行工具,而是功能齐全的独立推理引擎,支持 Metal、CUDA 硬件加速、2-bit 量化、磁盘 KV 缓存持久化、HTTP API 服务和编程智能体等功能。

仅 2000 行的教学操作系统。这是一个仅用 2000 行代码实现的极简操作系统,内含 9 个课程实验,旨在让每位学生都能看完并理解操作系统的全部源码。它体积小、结构清晰,可以在 QEMU 模拟器和 RISC-V 开发板上运行,实现了内存管理、进程控制、系统调用、文件系统、网络通信和 Shell 等核心组件。
Codex 切换 Provider 找回历史对话的工具。这是一款用于解决 Codex 切换模型提供商,历史会话不可见问题的工具。它通过同步会话文件、SQLite 数据库和项目路径缓存中的供应商元数据来恢复对话列表,提供 Windows GUI 和跨平台 CLI 两种使用方式。

更好看的 Windows 媒体控制弹窗。这是一款替换 Windows 默认媒体控制弹窗的工具,采用 Fluent 2 设计语言。它提供显示封面、歌名和播放控制的音乐弹窗、即将播放弹窗、锁定键状态弹窗,支持自定义弹窗位置、Windows Mica 模糊效果、深浅色主题等功能。

点击壁纸显示桌面的 Windows 工具。这是一款将 macOS 系统点击壁纸显示桌面的功能迁移到 Windows 10/11 的桌面工具。它开箱即用、空闲时内存占用不到 5 MB,支持点击壁纸或任务栏空白区域隐藏所有打开的窗口,再次点击恢复原位。

免费开源的 3D 引擎。这是一款免费、开源、实时的 3D 引擎,可用于开发 3A 级游戏、电影级画质的 3D 场景和仿真应用,支持 Windows、Linux 平台。

吉卜力工作室同款 2D 动画制作软件。这是一款开源的 2D 动画制作软件,由知名动画工作室吉卜力深度定制演化而来,提供扫描、上色、合成、特效和影片输出等数字动画制作流程,支持 Windows、macOS、Linux 平台。

Winamp 风格的终端音乐播放器。这是一款受 Winamp 启发的复古风格终端音乐播放器,支持播放本地文件、网络流媒体、播客和各大主流平台的内容。它内置频谱可视化器、参数均衡器和播放列表管理,还可一键浏览多个在线电台。

让 AI 少读代码的图谱工具。这是一款本地优先的代码智能图谱工具,专为 MCP 和 CLI 设计。它通过 Tree-sitter 解析函数、类、调用和测试之间的关系,并持久化存成图。修改文件时,它能沿着图找出受影响的调用方和依赖代码,提供更精准的上下文,避免读取整个代码库浪费 token。
同时指挥多个 AI 编程助手。该项目是多智能体工作区管理和编排系统,可统一调度 Claude Code、GitHub Copilot、Codex 等 AI 编程助手并行工作。它通过 Git 持久保存工作状态,Agent 重启后不丢上下文,可继续接着干。还提供实时监控、任务交接、卡死检测和合并队列等功能,支持 20-30 个智能体协同工作。
AI 智能体评测框架。这是一个跑 AI 智能体和大模型评测的开源框架,一条命令就能在 Docker 里把 Claude Code、Codex CLI 这些 Agent 拉起来,用 SWE-Bench 等评测集跑分。嫌本地慢也可以接 Daytona 这类云平台,开多个环境同时跑。
把 AI 编程助手变成视频工作室。这是一个开源的智能体视频制作系统,可让 Claude Code、Cursor、Copilot、Windsurf 和 Codex 根据自然语言完成调研、脚本、素材生成、剪辑和合成。它内置 12 条制作流程、100 多个工具,以及 700 多份技能与制作知识文件,支持真实素材、AI 图像、配音、字幕和成片自检。

严格的 LLM 结构化输出框架。这是一个约束大语言模型输出格式的 Python 库,可在生成过程中保证结果符合指定结构,而不是生成后再用正则修补。调用时只需传入期望的类型,同一段代码还能在 OpenAI、Ollama、vLLM 之间无缝切换。

超低延迟的离线语音输入工具。这是一款完全离线的语音输入工具,按住 CapsLock 键说话、松开即可转换为文字。支持实时语音识别、音频文件转录、数字格式转换、热词替换、LLM 润色等功能,所有录音均保存在本地,还可放进 U 盘即插即用。

AI 智能体小镇。这是一款本地优先的多智能体模拟和实时操控平台,不同于只能旁观的 Agent 模拟器,支持随时暂停/回放、注入干预指令、向单个或全体成员提问,以及一键重置整个模拟世界和多种地图包。

开源的 AI 互动课堂平台。该项目是由清华团队开发的多智能体互动课堂平台,可将任意主题或文档一键生成沉浸式课程,AI 老师和智能体同学实时授课、讨论、互动。它内置白板绘图和语音合成,课程可导出为 PPT 或交互式网页,支持 3D 可视化、模拟实验、小游戏、思维导图和在线编程。