
voidImageViewer
比图片还小的免费看图工具。这是一款用 C 语言编写的 Windows 轻量级图片查看工具,让你几乎感受不到等待。它体积小、启动快,拥有极快的图片加载和切换速度,支持 JPG、PNG、WEBP、BMP、GIF、ICO、TIF 等主流图片格式。

零依赖单文件实现现代 AI 主流算法。这是一个专为学习 AI 算法设计的教学项目,包含 30 个零依赖、单文件、可直接运行的 Python 实现,涵盖从基础的 GPT 到微调(LoRA、PPO)以及推理优化(Flash Attention)等内容。通过简单易懂的代码实现每个算法,并配有对应的 Manim 动画,方便理解和学习。

比图片还小的免费看图工具。这是一款用 C 语言编写的 Windows 轻量级图片查看工具,让你几乎感受不到等待。它体积小、启动快,拥有极快的图片加载和切换速度,支持 JPG、PNG、WEBP、BMP、GIF、ICO、TIF 等主流图片格式。

像高级语言一样写 C 代码。这是一个现代系统编程语言,写起来像高级语言又能像 C 语言一样运行。它通过编译生成 GNU C/C11 代码,兼容 C ABI(应用程序二进制接口),支持无缝集成到现有的 C 语言生态,在保持 C 语言运行效率的基础上,提升开发体验。```import "std/net/tcp.zc"fn main() {"Echo Server listening on :8080";let listener = TcpListener::bind("127.0.0.1", 8080).unwrap();loop {// Accept new connections let stream = listener.accept().unwrap();let buf: char[1024];while true {let n = stream.read(&buf[0], 1024).unwrap();if n == 0 { break; }stream.write(&buf[0], n);}}}```

快速查看 Parquet 文件的桌面应用。这是一款专为 Windows 用户设计的 Parquet 文件查看与查询工具,支持浏览文件元数据、执行简单的 SQL 查询、打开单个文件或文件夹内的多个文件。

开箱即用的 Windows 系统优化工具。这是一款基于 C# 开发的 Windows 10/11 一站式系统优化工具,无需重装系统即可定制、精简系统。它集成了软件管理、系统优化、界面定制等功能,支持一键卸载预装应用、性能调优和界面美化,适用于重装系统或新机初始化。

Windows 鼠标特效增强工具。这是一款轻量级的 Windows 桌面鼠标/光标特效工具,支持点击波纹、粒子拖尾、悬停发光、漂浮文字等多种鼠标特效。
轻量级进程内向量数据库。该项目是阿里开源的进程内向量数据库,无需独立部署即可直接使用。它基于 Proxima 引擎构建,提供本地化、低延迟的向量数据管理和语义检索能力,支持混合搜索、数据持久化、重排序等功能。```python import zvec# Define collection schema schema = zvec.CollectionSchema(name="example",vectors=zvec.VectorSchema("embedding", zvec.DataType.VECTOR_FP32, 4),)# Create collection collection = zvec.create_and_open(path="./zvec_example", schema=schema)# Insert documents collection.insert([zvec.Doc(id="doc_1", vectors={"embedding": [0.1, 0.2, 0.3, 0.4]}),zvec.Doc(id="doc_2", vectors={"embedding": [0.2, 0.3, 0.4, 0.1]}),])# Search by vector similarity results = collection.query(zvec.VectorQuery("embedding", vector=[0.4, 0.3, 0.3, 0.1]),topk=10)# Results: list of {'id': str, 'score': float, ...}, sorted by relevance print(results)```

终端交互式 SSH 管理工具。这是一款 Go 写的终端交互式 SSH 管理工具,基于 OpenSSH 执行连接安全可靠。它提供直观易用的终端界面,支持模糊搜索、排序、Ping 检查和一键连接等功能。

实时监控 SQL 流量的工具。这是一款基于 Go 开发的实时 SQL 流量监控工具,无需修改代码即可使用。它作为代理部署在应用与数据库之间,通过解析数据库 wire 协议捕获所有查询,提供 TUI 和 Web 两种使用方式,支持 PostgreSQL、MySQL 和 TiDB 数据库。

让 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 可视化、模拟实验、小游戏、思维导图和在线编程。