Fenster是一个极简的跨平台2D绘图库，让你想起Borland BGI或QBASIC的绘图方式。它提供单窗口应用、24位RGB帧缓冲区、跨平台键盘鼠标输入和音频播放，只需少量代码即可实现。使用简单的轮询API，无需回调或多线程。它支持C99、Go、Zig和Lua绑定，甚至可以运行Doom！
阅读更多
这是一个名为WiFi-3D-Fusion的开源项目，它利用CSI（信道状态信息）技术，通过本地WiFi信号实时检测人体运动，并将其以3D形式可视化。该项目支持ESP32-CSI和Nexmon两种数据采集方式，并集成了先进的卷积神经网络进行人体检测和追踪，能够实现多人的识别和再识别。此外，它还具有持续学习功能，模型能够在运行过程中自动改进。该项目提供Web端和终端两种可视化方式，并支持与Person-in-WiFi-3D、NeRF²和3D Wi-Fi Scanner等项目对接。
阅读更多
这个项目将一个TCP/IP协议栈集成到基于RISC-V架构的xv6操作系统中，使其具备网络功能。它包含一个移植自用户态的microps的内核态TCP/IP协议栈、一个用于QEMU网络设备模拟的virtio-net驱动、标准的socket API以及简单的ifconfig命令。通过几条简单的命令即可构建并启动QEMU，然后配置IP地址，最终实现主机与xv6虚拟机间的ping测试以及TCP/UDP回显程序的运行测试。
阅读更多
PEP 是一种新颖的像素艺术图像压缩格式，专为低色像素艺术（≤16色最佳，支持高达256色）而设计。它采用“二阶局部匹配预测”压缩算法，压缩速度比 GIF、PNG 和 QOI 慢 2-10 倍，但压缩比却能达到 GIF 和 PNG 的 20-50%，甚至远超 QOI。如果你在意压缩后的图像大小，PEP 是你的不二之选。它介于 GIF 和 WEBP 之间，兼顾压缩率和速度。目前该项目仍处于实验阶段，但已提供 C 语言接口，方便开发者使用。
阅读更多
decode-kit是一个轻量级、零依赖的TypeScript库，用于校验运行时数据。它基于断言的校验方式，直接细化你的类型，无需克隆或转换，运行时开销极小。decode-kit采用快速失败策略，一旦发现第一个校验错误即停止并抛出异常，包含详细的错误信息和路径。它支持多种数据类型校验，包括字符串、数字、布尔值、数组、对象等，并提供丰富的规则配置。 其性能优于Zod等库，因为它直接断言类型，避免了数据复制，非常适合性能关键型应用。
阅读更多
一个用C语言编写的超轻量级AI代理，它与OpenRouter API通信并执行shell命令。其特点包括：直接通过AI响应执行shell命令；macOS版本仅4.4KB（GZEXE压缩），Linux版本约16KB（UPX压缩）；采用滑动窗口内存管理以提高效率；支持macOS和Linux系统。该工具需要GCC编译器、curl命令行工具和OpenRouter API密钥。构建系统会自动检测平台并应用最佳压缩：macOS使用GZEXE压缩，Linux使用UPX压缩。代码已开源，无许可证限制。
阅读更多
cascache是一个提供者无关的Compare-And-Set (CAS)缓存，具有可插拔的编解码器和生成存储。它支持安全单键读取（无陈旧值）、可选的批量缓存（带读端验证）以及针对多副本部署的可选分布式模式。cascache使用快照生成来保证CAS安全，支持多种底层存储（如Ristretto、BigCache、Redis）和编解码器（如JSON、Msgpack、CBOR、Proto），并提供本地和分布式两种生成存储模式，以实现高性能和高可用性。
阅读更多
ContextForge MCP网关是一个功能强大的网关、代理和MCP注册中心，它联合了MCP和REST服务，将发现、身份验证、速率限制、可观察性、虚拟服务器、多传输协议和可选的管理UI整合到一个简洁的端点中，供您的AI客户端使用。它作为一个完全符合MCP规范的服务器运行，可通过PyPI或Docker部署，并可通过Redis支持的联合和缓存扩展到Kubernetes上的多集群环境。该项目目前处于alpha/早期测试阶段，不建议用于生产环境。
阅读更多
Clearcam 应用程序允许你将旧的 iPhone 或支持 RTSP 的摄像头升级为先进的 AI 监控摄像头。通过简单的 Homebrew 安装和 Python 脚本运行，即可在本地浏览器查看实时监控画面，并接收事件通知（检测到物体/人）。Clearcam Premium 提供远程查看、事件剪辑和端到端加密等高级功能。目前仅支持 iOS，Android 用户可使用 iOS 用户ID临时登录。
阅读更多
Seed是一个基于Common Lisp的交互式软件环境，它能在Web浏览器中运行，允许用户以多种方式创建和使用计算机程序。Seed使用树形网格来展示程序，并用不同的符号表示不同的函数和数据类型，所有显示模式都共享相同的界面原则。Seed旨在突破传统文本编程的限制，提供一种与语言结构正交的语言表示方式，它集成了ASDF构建系统，并提供详细的安装和使用指南。
阅读更多
ThinkMesh是一个Python库，用于并行运行多种推理路径，使用内部置信度信号对其进行评分，将计算资源重新分配给有希望的分支，并使用验证器和约简器融合结果。它支持离线的Hugging Face Transformers和vLLM/TGI，以及托管的API。ThinkMesh支持多种策略，例如DeepConf、Self-Consistency和Tree of Thoughts，并提供缓存、指标和JSON跟踪等功能，极大地提升了大型语言模型的推理效率和可靠性。
阅读更多
这款轻量级的 macOS 状态栏应用可以监控和管理运行在 2000-6000 端口上的开发进程。它实时检测进程，并允许你一键杀死单个进程或所有进程。该应用使用 lsof 命令每 5 秒扫描一次端口，状态栏图标颜色编码显示进程数量（绿色：0 个进程；红色：1-9 个进程；橙色：10 个以上进程）。点击图标即可打开上下文菜单，选择杀死所有进程或单个进程。应用采用 SIGTERM → SIGKILL 的终止策略，确保安全终止进程。
阅读更多
WiX工具集是一个强大的开源工具，用于创建Windows Installer安装程序。它使用类似于普通软件开发的构建概念，将源码编译链接成.exe安装包、.msi安装程序、.msm合并模块和.msp补丁。WiX支持多种构建系统，包括MSBuild，并提供扩展功能，例如安装IIS网站、创建SQL Server数据库和注册Windows防火墙例外。此外，WiX的Burn引导程序可以安装.NET Framework等先决条件，并支持下载或打包成单个.exe。WiX SDK还包含托管和原生库，方便编写与Windows Installer交互的代码。需要注意的是，WiX工具集需要支付开源维护费才能使用全部功能，但社区支持和商业支持也同样存在。
阅读更多
ArduinoOS是一个为Arduino设计的轻量级实时操作系统，它提供线程安全机制（使用锁来防止线程冲突）、异常处理机制（try-catch-clearException，支持异常继承和自定义异常类型）、内核恐慌处理（OnKernelPanic函数）、内存管理函数（freeMemory, freeStack）、可配置的线程栈大小（InitTaskWithStackSize）和线程参数传递（InitTaskWithArgument）、以及可配置的内核心跳周期。此外，它还提供了对多种硬件的抽象类，简化了硬件操作。
阅读更多
Librebox是一个开源游戏引擎，它运行Luau语言并旨在复制Roblox公共API，允许Roblox代码在Librebox引擎上运行。开发者可以完全掌控自己的游戏，从代码到引擎，创建沉浸式游戏体验。目前Librebox处于演示阶段，已支持基本场景渲染、光照、阴影等功能，并计划在未来版本中加入物理引擎、网络功能等。Librebox完全免费且开源，不依赖Roblox的任何代码或资产，为开发者提供了一个构建自主游戏平台的理想选择。
阅读更多
DeepCode是一个革命性的AI代码生成平台，它利用多智能体系统将研究论文、自然语言描述甚至URL转化为可运行的代码。它能自动处理复杂的算法实现、前端和后端开发，显著缩短开发周期。DeepCode通过智能化的文档解析、代码规划和参考挖掘等多个步骤，最终生成高质量的代码、测试套件和文档，极大地提升了开发效率。其模块化的设计和丰富的工具集使其易于扩展和集成到各种开发流程中。
阅读更多
ManimGL是用于创建精确数学动画的引擎，最初由3Blue1Brown的作者创建。它有两个版本：原版和社区版。社区版更稳定、易用，并拥有更活跃的社区支持。本文档主要介绍ManimGL的安装和使用方法，包括系统需求（Python 3.7+，FFmpeg，OpenGL，LaTeX可选）、安装命令（`pip install manimgl`）、常用命令行参数（-w, -o, -s, -so, -n, -f）以及自定义配置（`custom_config.yml`）。此外，还提到了中文文档和社区贡献的信息。
阅读更多
OctaneDB是一个用Python编写的轻量级、高性能向量数据库，其速度比Pinecone、ChromaDB和Qdrant等现有解决方案快10倍。它采用现代Python和优化的算法构建，非常适合需要快速相似性搜索的AI/ML应用。OctaneDB支持文本嵌入，提供与ChromaDB兼容的API，并具有GPU加速、批量处理、持久化存储等功能，极大地提升了效率。其简洁的API和全面的文档也方便了开发者使用。
阅读更多
Glyn 是一个为 Gleam actor 提供类型安全 PubSub 和注册表的库，支持分布式集群。它基于 Erlang syn 库构建，提供 PubSub（广播事件）和注册表（直接命令路由）两种互补的 actor 通信系统。Glyn 使用 Gleam 的 actor 模型和选择器组合模式，并需要显式解码器以确保集群中节点之间发送的消息类型安全。代码示例展示了如何定义消息类型、创建解码器以及如何使用 PubSub 和注册表进行 actor 通信，并支持多通道 Actor 集成，实现更复杂的 actor 通信场景。
阅读更多
这篇博文介绍了一种利用浏览器内置XSL支持构建网站的方法，无需服务器端代码、静态网站生成器或JavaScript。通过在XML文件中定义模板，浏览器可以根据模板渲染XML中的自定义标签，从而生成具有统一主题的网页。文章还提供了更高级的示例，展示如何定义包含字段的模板以及在模板中嵌套使用其他模板。
阅读更多
这篇简短的说明列出了GitHub代码建议应用中可能遇到的12种限制，例如代码未修改、Pull Request已关闭、只查看部分更改、单行只能应用一个建议、应用于已删除行、建议已应用或标记为已解决等。这些限制旨在维护代码库的完整性和审查流程的效率。
阅读更多
这篇博客文章对多个Go语言SQLite驱动程序进行了基准测试，结果显示性能差异取决于具体的用例。测试涵盖了各种场景，包括单事务插入百万行数据、模拟真实世界场景的多事务插入、复杂的大型JOIN查询以及并发读取等。测试结果表明，sqinn在多个测试中表现出色，但没有一个驱动程序在所有场景下都占据绝对优势。文章强调了编写自定义基准测试的重要性，并指出无需CGO的纯Go SQLite驱动程序现在已经成为可能。
阅读更多
Zedless是Zed的隐私友好型本地优先分支，目前仍在开发中，欢迎贡献！它将去除对专有云服务的依赖、遥测和自动崩溃报告，并优先支持自建基础设施。任何使用网络服务的特性都允许配置提供商，且默认禁用，不会包含默认提供商列表。此外，它不会要求贡献者转让版权，并确保所有第三方依赖项的许可证信息正确。
阅读更多
SimpleIDE 是一款轻量级的专业 VB.NET IDE，基于 .NET 8.0 和 GTK# 3 构建，专为 Linux 系统上的 VB.NET 项目而设计。它提供了现代化的开发环境，支持多文件选项卡式编辑、语法高亮、代码自动完成、内置构建系统、调试功能以及 Claude AI 辅助等特性。此外，SimpleIDE 还支持 Git 集成、自定义主题和丰富的快捷键操作。该项目开源且免费，欢迎贡献代码。
阅读更多
Universal Tool Calling Protocol (UTCP) 1.0.1 是一款现代化、灵活且可扩展的工具交互标准，支持多种通信协议。其模块化核心和插件式架构使其更易于扩展、测试和打包。UTCP 强调可扩展性、互操作性和易用性，并提供HTTP、SSE、CLI等多种协议插件。新版本对架构进行了重构，将核心库与可选插件分离，并提供了改进的搜索策略和变量替换机制。
阅读更多
DiffMem 是一款轻量级的基于 Git 的 AI 智能体记忆后端，它使用 Markdown 文件存储信息，利用 Git 追踪记忆随时间的变化，并通过内存中的 BM25 索引实现快速、可解释的检索。该项目是一个概念验证，探索如何利用版本控制系统构建高效、可扩展的 AI 应用记忆系统。DiffMem 将记忆视为一个版本化的存储库，当前知识存储在可编辑文件中，历史更改则保存在 Git 的提交图中。这种分离允许智能体查询和搜索简洁的最新信息，同时在需要时可以深入研究历史变化。DiffMem 的设计解决了传统 AI 记忆系统面临的诸多挑战，例如查询效率、可扩展性以及开发便利性等，并具有良好的可移植性和可审计性。
阅读更多
PlutoPrint是一个轻量级的Python库，可以将HTML或XML内容直接转换为高质量的PDF和图像。它基于PlutoBook的强大渲染引擎，提供简单的API，轻松生成报告、发票或视觉快照。支持命令行和Python API两种使用方式，Windows和Linux 64位系统提供预编译二进制文件。此外，它还支持与Matplotlib集成，生成图表并将其添加到PDF或图像中。
阅读更多
谷歌的Python静态类型检查工具Pytype即将停止更新。自2012年诞生以来，Pytype为谷歌开发者提供了强大的类型检查能力，并为Python类型系统的完善做出了贡献。然而，由于其基于字节码的设计限制了新功能的开发，谷歌决定将资源投入到更具前景的类型检查技术上，并宣布Python 3.12将是Pytype支持的最后一个版本。 团队感谢所有贡献者，特别是Rebecca Chen十年来的持续贡献。 现在Python类型检查生态系统已经非常成熟，开发者们可以转向其他优秀的替代方案。
阅读更多
Luminal是一个使用基于搜索的编译技术来实现高性能的深度学习库。它核心简洁，仅包含12个基本运算符，却能支持Transformer和卷积网络等复杂模型。通过在编译时进行激进的内核融合和形状特定的内核编译，Luminal超越了传统RISC架构的局限，并能自动推导出Flash Attention等复杂重写。它采用静态编译方式，避免了运行时开销，并支持Metal和CUDA，可在Mac和Nvidia GPU上运行，已在Llama 3 8B等模型上取得显著性能提升。
阅读更多
这是一个使用Strudel.cc、React Flow和Tailwind CSS构建的可视化鼓机和模式音序器。通过拖放界面连接乐器节点和效果节点，创建复杂的音乐模式。它包含各种乐器、效果和强大的功能，例如实时模式编辑和分组控制。项目结构清晰，使用了Zustand进行状态管理，并提供详细的入门指南。
阅读更多