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

macOS 菜单栏久坐提醒工具。这是一款常驻 macOS 菜单栏的久坐提醒应用,支持自定义 1-120 分钟的工作时长和 1-15 分钟的休息时长,到点弹窗强制休息。它提供右上角、左上角、屏幕中央或全屏强制等多种提醒方式,并配有每日目标、连续打卡、解锁徽章、柱状图和热力图等数据统计功能。

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

锁住输入法的 macOS 菜单栏工具。这是一款用 SwiftUI 开发的 macOS 菜单栏工具,可全局或按应用、网址锁定指定输入法,一旦被手动或其他应用切换,便会立即恢复。它支持自定义快捷键、规则备份、配置导入导出等功能,安装包不到 3MB,且无需系统权限。

把 iPhone 变成 Mac 扩展屏。这是一款免费开源的 macOS 副屏工具,可将闲置的 iPhone 或 iPad 变成第二个显示器。插上数据线或连同一 Wi-Fi 即可使用,可以直接把窗口拖过去,支持用手指点按、拖拽和双指滚动操作 Mac。

菜单栏里的桌面空间切换工具。这是一款用于查看和切换 macOS 桌面的工具,支持点击图标或滚动鼠标快速切换桌面,还能为每个桌面设置颜色、图标、文字标签或表情符号。

把 MacBook 刘海变成灵动岛的应用。这是一款用 SwiftUI 写的 macOS 工具,能够将 MacBook 顶部的刘海变成类似灵动岛的多功能控制中心。它平时隐藏于屏幕顶部,支持 Apple Music/Spotify 媒体控制、CPU/GPU/内存等系统监控、计时器、剪贴板历史和日历预览,并提供锁屏小组件和手势操控。

住在菜单栏里的 macOS 工具集合。这是一款免费开源的 macOS 菜单栏工具,将一堆常用的系统操作和实用功能放到菜单栏里,支持防休眠、自动隐藏 Dock、系统静音、Xcode 清理、弹出磁盘、清空废纸篓、IP 查询和翻译等功能。

所有 AI 编程工具用量一目了然。这是一款集中显示 Codex、Claude、Cursor、Gemini、Copilot、Grok 等 40 多个 AI 工具的配额用量与重置倒计时的 macOS 应用。它复用已有的 OAuth、浏览器 Cookie、API Key 等认证信息,无需重新登录,支持用量进度条、服务状态监控等功能。

这根 USB-C 线到底能干啥。这是一款能够识别插在 Mac 上的 USB-C 线能充多快、传多快的工具,可显示传输速率、充电速度、功率上限、E-Marker 芯片厂商等信息。

免费开源的 macOS 原生录屏工具。这是一款免费的 macOS 屏幕录制应用,基于 SwiftUI 和 ScreenCaptureKit 构建,支持常驻菜单栏和录制指定窗口,可同时捕获系统音频与麦克风输入。