ESP32-BlueJammer是一款基于ESP32和nRF24模块的2.4GHz干扰器，能够干扰蓝牙、BLE、WiFi和遥控设备等多种设备。该设备通过发送大量干扰包来实现干扰效果，具有较大的干扰范围（超过30米）。该项目提供DIY套件和预焊接版本，并附带详细的组装和固件烧录教程。需要注意的是，干扰信号是违法的，本项目仅供教育用途，请勿用于非法活动。
阅读更多
CF-Shield是一个Python脚本，可自动检测DDoS攻击并在Cloudflare上启用安全措施。它需要Cloudflare的邮箱、API令牌、区域ID和账户ID。安装后，脚本会提示你设置CPU使用率阈值、挑战类型以及可选的Discord、Slack和Telegram通知。 脚本会监控CPU使用率，如果超过阈值，则自动启用Cloudflare的WAF规则，并在攻击结束后自动禁用。这是一个强大的工具，可以帮助你保护你的网站免受DDoS攻击。
阅读更多
Polystate是一个Zig语言库，旨在通过类型组合构建可组合的有限状态机。它强制执行编程约定，在类型级别记录状态机状态，并通过类型组合实现状态机的可组合性。这提高了命令式程序结构的正确性，并鼓励从类型和组合的角度重新设计程序状态，从而增强代码的可组合性。Polystate自动生成状态图，使用户能够直观地理解程序行为。通过示例展示了如何构建简单的状态机以及如何通过类型组合构建复杂的状态机，例如在ATM案例中限制PIN输入尝试次数，以及在raylib游戏中复用选择机制。
阅读更多
Bunge Bits 项目致力于简化肯尼亚国民议会和参议院的会议记录，方便公民理解复杂的立法进程。通过提供简洁易懂的会议总结，Bunge Bits 旨在增强透明度，提升公民参与度和政治意识，最终促进肯尼亚更积极的民主参与。该项目依靠云托管、数据库基础设施和人工智能技术，并接受赞助以维持运营。
阅读更多
历经50年（指代Makefile的悠久历史），mbake终于问世！这款Makefile格式化和lint工具，不仅能自动修复Makefile的格式问题，例如缩进、空格、换行等，还能智能检测`.PHONY`目标，并支持自定义规则和插件扩展。它提供丰富的命令行参数，方便用户进行格式化、校验和版本管理，并能无缝集成到CI/CD流程中。无论是新手还是老手，mbake都能显著提升Makefile的编写效率和可读性。
阅读更多
SAPF 是一款探索声音纯形态的解释器，其语言主要基于函数式、堆栈式和类似于 FORTH 的后缀记法。它使用惰性、可能无限的序列来表示音频和控制事件，旨在为惰性序列实现 APL 对数组的处理方式，提供高层次的函数以及自动映射、扫描和约简操作符。这使得短小的程序能够实现超出其规模的结果。由于几乎所有程序员可访问的数据类型都是不可变的，因此该语言可以轻松运行多个线程而不会出现死锁或损坏。它受到 APL、Joy、Haskell、Piccola、Nyquist 和 SuperCollider 的启发，目标是简洁且富有表现力。
阅读更多
一个用Rust编写，使用fasm作为后端的B语言编译器项目正式发布！该项目包含一个名为btest的测试工具，可以测试编译器并在各种平台上生成矩阵报告。btest支持指定平台和测试用例，方便开发者进行测试和调试。编译器目前仍在开发中，但已经可以编译运行简单的例子，例如hello_world.b。
阅读更多
to-userscript 是一个命令行工具，可以将 Chrome 或 Firefox 扩展程序转换为可在任何用户脚本管理器中运行的独立 .user.js 文件。它支持多种转换源，包括 Chrome 网上应用商店、Firefox 附加组件网站、本地目录和存档文件。该工具会智能地替换常用的 WebExtension API，嵌入 CSS、图像和其他资源，并模拟后台脚本环境和国际化支持。安装方法简单，只需使用 npm、pnpm 或 bun 等包管理器即可全局安装。
阅读更多
这个项目利用AWS Lambda函数和NAT穿透技术构建了一个无服务器QUIC代理。通过S3协调和UDP穿透，它无需专用服务器即可创建加密的代理连接。该系统分为三个阶段：协调阶段（客户端通过STUN协议发现公网IP，将会话信息写入S3），NAT穿透阶段（客户端和Lambda函数互相发送UDP数据包，创建双向NAT孔），以及QUIC隧道建立阶段（客户端启动QUIC服务器，Lambda函数作为客户端连接）。最终实现浏览器通过SOCKS5代理连接到互联网，Lambda函数充当出口节点转发流量。
阅读更多
AtomicOS是一个从零开始构建的，以安全为首要目标的教育性操作系统。它采用确定性编程语言Tempo，并实现了真正的内存保护、加密和完整内存管理单元（MMU），包括AES-128加密、SHA-256哈希等高级安全特性。虽然目前功能有限，例如缺乏网络栈、文件系统和驱动程序，但其设计理念和安全实现值得学习和借鉴。该项目开源，但要求署名和变更披露。
阅读更多
TuxRacer.js 是一款在浏览器中运行的开源滑雪游戏，它重制了经典游戏 Tux Racer 和 Extreme Tux Racer。玩家可以使用键盘或鼠标（桌面）以及触摸操作（移动端）控制企鹅 Tux，在各种地形和环境下进行滑雪。游戏包含多个赛道和环境可供选择，并支持自定义URL参数调整游戏设置。项目目前仍处于早期开发阶段，但已具备相当的可玩性。
阅读更多
Nxtscape是一款基于Chromium的开源浏览器，旨在成为隐私优先的替代方案。它允许用户本地运行Manus之类的代理，通过AI助手提升生产力。不同于Chrome等封闭源浏览器，Nxtscape将AI功能置于本地，保护用户隐私。其目标是重新构想浏览器，解决现有浏览器中存在的痛点，例如多标签管理混乱、繁琐的表单填写等。Nxtscape计划集成MCP商店，并内置AI广告拦截器。该项目开源且社区驱动，用户可以参与开发和改进。
阅读更多
这是一个用Rust编写的最小自动微分引擎。该引擎可以训练一个小型多层感知器来学习XOR函数，并能将单个感知器的计算图渲染到graph.html文件中。其核心是Scalar结构体，存储值、梯度和描述生成它的操作的Edge。运算符重载和辅助函数构建一个有向无环图，缓存每个边的局部导数。backward()函数从输出节点开始递归地传播梯度，累积到用Scalar::new_grad创建的叶节点中。计算图可以通过plot::dump_graph可视化。
阅读更多
cursor是一款利用AI技术，在几秒钟内探索PostgreSQL数据库的本地桌面应用程序。它能够根据数据库模式生成智能查询，支持任何PostgreSQL数据库，并允许用户使用自己的OpenAI密钥。目前，用户需要自行编译安装，但预编译版本即将推出。
阅读更多
ts-ssh 是一款强大的命令行工具，它利用 Tailscale 网络提供简化的 SSH 和 SCP 功能。无需完整的 Tailscale 守护进程，即可实现多主机操作、批量命令执行和真正的 tmux 集成。开发者团队可通过它快速可靠地访问 Tailscale 基础设施。它支持多种身份验证方法、交互式 SSH 会话、安全的主机密钥验证以及直接的 SCP 传输。此外，它还具有强大的多主机操作功能，例如批量命令执行、并发命令执行和多主机文件分发。ts-ssh 支持跨平台使用，并提供多种语言支持。
阅读更多
Hurl 是一款强大的命令行工具，使用简单的纯文本格式定义和运行 HTTP 请求。它支持请求链式调用、值捕获以及对响应头和正文进行查询评估，可用于数据获取和 HTTP 会话测试，兼容 REST、SOAP、GraphQL 等多种 API。Hurl 使用 Rust 编写，轻量快速，并集成 libcurl，支持多种报告格式，方便集成 CI/CD 流程。
阅读更多
Rust内置的浮点数类型在表示十进制数时精度不足。`primitive_fixed_point_decimal`库提供了一种解决方案，它使用整数类型和缩放因子来精确表示十进制数，并保证分数精度。该库提供两种类型：`ConstScaleFpdec`，在编译时指定缩放因子；`OobScaleFpdec`，在运行时指定缩放因子，更灵活但使用更复杂。该库还考虑了多次乘除运算可能导致的累积误差问题，并提供了`cum_error`机制来解决这个问题。总而言之，这是一个高效、精确的Rust十进制固定点类型库，适用于对精度要求高的场景，例如金融应用。
阅读更多
厌倦了在 PR 之前整理凌乱的 Git 提交历史？Git Smart Squash 使用 AI 自动将你的更改整理成逻辑清晰、结构良好的提交，只需几秒钟。它分析你的 diff，将相关的更改分组，并创建遵循常规提交标准的清晰提交信息。支持本地 AI (Ollama) 和云端 AI (OpenAI, Anthropic, Gemini)，提供安全可靠的备份机制，确保你的原始提交始终保存。即使是大型 diff，也能通过拆分工作或切换到云端 AI 来处理。
阅读更多
ExTracker是一个用Elixir语言编写的高性能BitTorrent Tracker，它具有低内存占用、零配置等优点，能够充分利用多核处理器。目前已实现HTTPS支持和数据库备份，并提供源码、预编译版本和Docker镜像三种部署方式。虽然仍在开发中，但已有一个测试实例运行，并支持实时统计功能。未来计划添加更多功能，例如白名单/黑名单、更精细的Peer管理以及地理位置支持等。
阅读更多
Literate编程是一种由Donald Knuth发明的编程风格，它将程序的源代码首先设计为易于他人阅读和理解，其次才是供计算机执行。这使得程序员可以按照思维流程的顺序编写程序，而非受限于计算机强加的程序结构。Literate程序通常由自然语言解释和代码片段交织而成，这使得代码易于理解和分享。本文介绍的Literate工具，旨在简化并增强Knuth和Levy的CWEB系统，支持多种语言、语法高亮、HTML漂亮打印、Markdown编写等特性，并提供命令行工具进行代码编译和HTML文档生成。
阅读更多
EnrichMCP是一个Python框架，它通过构建在MCP（模型上下文协议）之上的语义层，将你的数据模型转化为AI代理可理解和使用的类型化工具，就像AI领域的ORM一样。它支持SQLAlchemy模型、REST API以及自定义逻辑，自动生成类型化工具、处理实体间关系、提供模式发现和Pydantic模型验证。无论是探索数据模型、查询数据还是遍历关系，AI代理都能像开发者使用ORM一样自然地与你的数据交互。
阅读更多
RoureXOS操作系统迎来了用Rust语言重写的第二个版本。这个轻量级操作系统既可以在QEMU模拟器中运行（使用提供的ISO镜像），也支持x86_64裸机环境（从USB启动）。详细的编译和运行指南涵盖了依赖项安装、内核编译、ISO镜像制作以及QEMU模拟运行等步骤，甚至提供使用SLIP协议进行网络连接的说明。开发者提供了清晰的步骤，让使用者可以轻松体验这个全新的操作系统。
阅读更多
这款名为Claude Code Usage Monitor的终端监控工具，能够实时追踪你使用Claude AI时代币的消耗情况。它以直观的进度条显示代币使用情况和剩余时间，并能预测代币耗尽时间，支持Pro、Max5、Max20等多种计划，并能自动切换到自定义最大值模式。此外，它还具有警告系统、自定义重置时间等功能，界面简洁美观，大大提升了用户体验。
阅读更多
Unregistry是一个轻量级的Docker镜像注册表，它直接使用Docker守护进程的存储来存储和服务镜像，并提供`docker pussh`命令（带额外's'，代表SSH）,实现通过SSH直接将镜像推送到远程Docker服务器。它只传输缺失的层，从而快速高效。告别Docker Hub或自托管注册表的复杂配置和维护，Unregistry让镜像传输变得简单直接，只需一行命令`docker pussh myapp:latest user@server`即可完成。它在SSH隧道内启动一个临时的Unregistry容器，仅传输远程服务器缺少的镜像层，然后关闭容器和隧道。Unregistry尤其适用于生产环境部署、CI/CD流程以及隔离网络环境下的镜像分发。
阅读更多
fang是一个轻量级的实验性库，旨在为基于Cobra的命令行应用程序提供开箱即用的增强功能。它提供丰富的特性，包括全样式的帮助和使用页面、样式化的错误信息、自动版本号设置、man手册生成（使用mango）、shell命令补全、主题定制以及静默的使用输出。只需简单的几行代码，即可将fang集成到你的Cobra项目中，极大提升用户体验。
阅读更多
Bento是一款外形酷似便当盒的袖珍电脑，它受到了Commodore 64和Cyberdeck的启发。Bento可以完美地放置在键盘下方，键盘充当盖子，方便用户访问内部组件和存放外设。Bento旨在与空间显示器（如XREAL One）配合使用，但也可以连接任何带有USB-C接口的外部显示器。它采用Steam Deck OLED的主板、散热器和电池，旨在轻量化和便携化，并提供比现有XR设备更强大的功能，让用户能够进行真正的生产力工作，而非简单的网页浏览或内容消费。该项目开源，欢迎贡献者参与改进和扩展。
阅读更多
Delve 是一款基于 AGPL-3.0 协议的企业级数据分析平台，目前处于 Alpha 预发布阶段。它支持多种数据源的接入、分析和可视化，并提供交互式搜索界面、管道式查询语言、自定义仪表板和实时警报等功能。Delve 还具有基于角色的访问控制、自定义应用程序开发和可扩展搜索命令等企业级特性。安装简单，只需下载、解压并运行几个命令即可快速上手。虽然处于早期阶段，但其强大的功能和易用性使其成为值得关注的企业数据分析解决方案。
阅读更多
DSC是一个与PyTorch兼容的张量库和机器学习模型推理框架。它具有C兼容的底层API，并用类似NumPy/PyTorch的现代Python API进行封装，同时还有一些不错的易用性改进。主要特性包括直观的API、内置神经网络支持、多后端支持（CPU和CUDA）、最少的外部依赖项以及无运行时分配。安装简单，只需编译器和GNU Make即可。支持CUDA加速，只需设置环境变量即可启用。通过pytest进行单元测试，确保其正确性。
阅读更多
Workout.cool是一个开源的现代健身教练平台，它从前身workout.lol的灰烬中重生。由于原项目因视频授权问题被放弃，开发者Snouzy接手并重新构建了这个平台，提供全面的锻炼数据库、进度追踪和个性化训练计划。该项目采用Next.js App Router和Feature-Sliced Design架构，并欢迎社区贡献。这是一个由社区、为社区的项目，旨在为开源健身社区提供一个可靠且易于维护的平台。
阅读更多
MiniMax-M1是一个具有4560亿参数的开放权重大型混合注意力推理模型，它结合了混合专家（MoE）架构和闪电注意力机制。与之前的MiniMax-Text-01模型一样，M1原生支持百万级token的上下文长度，并通过高效的强化学习训练，在数学推理、软件工程等复杂任务上超越了DeepSeek R1和Qwen3-235B等模型。其高效的测试时间计算能力使其成为下一代大型语言模型的强大基础。
阅读更多