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

帮你找到本地能跑的最佳大模型。该项目能够自动检测本机 GPU/CPU/RAM 配置,并从 HuggingFace 中筛选出适合当前硬件的大模型。它基于 LiveBench、Chatbot Arena ELO 等综合评分排名,而非单纯按参数量排序,支持模拟指定 GPU、查找运行目标模型所需显卡、一键启动对话和生成 Python 代码片段等功能。

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

带同步字幕的有声书生成器。这是一款基于 Kokoro-82M 的文本转语音有声书生成工具,可将 EPUB、PDF、TXT、Markdown 和字幕文件转成 MP3、M4B、FLAC 等格式的音频。它提供批量处理、章节拆分、语速调节等功能,支持包括中文在内的 9 种语言。
Git 历史重写工具。这是一款用于重写 Git 仓库历史的命令行工具,可作为 git filter-branch 的替代品。它仅需 Python 和 Git 即可运行,支持批量改写提交信息、标签重命名、仓库拆分和自动清理等功能。

把多张网卡的带宽叠加起来。这是一款专为 Windows 平台打造的多网卡带宽聚合下载加速工具。当电脑同时接入网线、Wi-Fi 或手机热点时,它可将下载任务分配到不同网卡上,实现远超单网卡的下载速度,并支持虚拟网卡、进程分流和实时流量监控等功能。

更快的 Python 序列化库。这是一个高性能 Python 序列化与数据校验库,支持 JSON、MessagePack、YAML 和 TOML 格式,常见操作比同类库快 10-80 倍。

整本翻译外文小说的工具。这是一个用于翻译长篇小说的命令行工具,支持 EPUB、FB2、TXT、Markdown、HTML 和 PDF 文件格式。它通过全书分析、滚动上下文、动态术语表、润色和校对,提升长篇小说翻译的一致性和可读性。

把视频变成字符流的引擎。这是一款跨平台的实时 ASCII 视频渲染引擎,可实现 30 FPS 的流畅播放效果,支持 URL 直接播放、音视频同步、自适应帧编解码等功能,ASCII 模式下无需 GPU 即可流畅运行。
省心的 Python 代码格式化工具。该项目是由 Python 软件基金会(PSF)官方维护的代码格式化工具。配置项少、结果可重现,只需一条命令,代码就会变成统一风格,彻底消除团队的代码风格之争。

任意精度的 Python 数学计算库。该项目是可以计算到任意小数位的 Python 库,支持求根、线性代数、微积分、实数和复数运算等功能,适用于处理普通浮点数不够用的高精度数值计算场景。