PgManage是一款以Postgres为中心的现代图形数据库客户端，致力于简化Postgres的管理。它提供数据库连接管理、SQL编辑器、架构编辑器、数据备份和恢复、性能监控等功能，支持PostgreSQL、MySQL、MariaDB和SQLite3等多种数据库类型。该工具提供详细的文档，并且不断更新和改进。
阅读更多
Prelude 是一款简单易用的工具，可以帮助用户从代码库构建大型语言模型（LLM）提示。它可以生成包含指定目录下文件树和文件内容的提示，并将其复制到剪贴板或保存到文件中。Prelude 支持使用相对路径、文件名匹配模式和忽略文件来定制提示生成过程。
阅读更多
QRaro是一个Python模块，可以将任意二进制数据编码为一系列二维码，并将其解码回原始数据。它使用qrcode库进行编码，使用zxing库进行解码。用户可以使用bin_to_qr()函数将二进制数据编码为二维码图片，并使用qr_to_bin()函数将二维码图片解码回原始二进制数据。
阅读更多
JSON-threat-protection.rs是一个Rust库，用于抵御恶意JSON负载。它通过限制JSON结构的深度、字符串长度、数组和对象条目数量、对象条目名称长度以及是否允许重复的对象条目名称来验证JSON负载。该库性能高效，并进行了基准测试和模糊测试以确保其质量。
阅读更多
TargetJ是一个强大的JavaScript UI框架，它引入了一种称为“目标”的新颖概念，用作组件的主要构建块。每个目标都有目标值和实际值，当两者不相等时，TargetJ会迭代更新实际值。目标用于动画、控制程序流程、加载数据、处理用户事件等。TargetJ提供了丰富的功能，例如无需HTML、无需HTML嵌套、下一级动画、事件处理便捷、易于学习等，能够高效地管理大量对象，并且对AI友好。
阅读更多
Aro 是一个用 Zig 语言编写的 C 编译器，目标是提供快速的编译速度、低的内存使用率以及良好的诊断信息。它支持大部分 C 标准，包括 C23 以及 GNU、MSVC 和 Clang 的常见扩展。Aro 目前可以为 x86-64 Linux 生成基本的代码，并可以生成有效的 hello world 程序。
阅读更多
Typst 是一种新的基于标记的排版系统，旨在像 LaTeX 一样强大，但更易于学习和使用。Typst 具有内置的常用格式化任务标记、灵活的函数、紧密集成的脚本系统、数学排版、参考文献管理以及快速的编译速度。
阅读更多
Kompute 是一款建立在 Vulkan API 之上的开源 GPU 计算框架，支持 AMD、高通、英伟达等厂商的显卡。它速度快，支持移动设备，异步并针对高级 GPU 数据处理用例进行了优化。Kompute 提供 C++ 和 Python 接口，并具有异步和并行处理能力。
阅读更多
这是一款名为 “chatgpt-always-temporary-chat-on” 的 Chrome 扩展程序，它可以让 ChatGPT 的临时聊天功能始终保持启用状态。用户可以通过访问 chromewebstore.google.com/detail/chatgpt-keep-temporary-ch/hgbjeckjcopbneknolackcedoknnkjpe 来下载该扩展程序。
阅读更多
NetSour 是一款使用 Python 和 Scapy 构建的网络数据包嗅探器和分析工具，能够实时捕获和显示数据包，分析数据包并提供十六进制视图。该工具支持多种协议，例如 TCP、UDP 和 ARP 等，并提供交互式 curses 用户界面。
阅读更多
Transcribro 是一款面向安卓系统的开源应用，它提供私密、离线的语音识别功能，可以作为键盘输入或为其他应用提供服务。该应用基于 whisper.cpp 和 Silero VAD，能够运行 OpenAI Whisper 模型，并进行语音活动检测。用户可以通过 Accrescent 应用商店或 GitHub 发布页面下载 Transcribro。
阅读更多
Open and Shut 项目可以让用户通过反复开关笔记本电脑来输入摩尔斯电码。该项目利用了 ACPI 事件和 xdotool 工具，将笔记本电脑开合动作转换为摩尔斯电码。
阅读更多
Spotify-player是一款功能丰富的终端Spotify播放器，具有极简的界面和直观的分页和弹出系统。它提供与官方Spotify应用程序相同的功能，支持Spotify Connect远程控制、直接从终端流式传输歌曲、歌词显示、跨平台媒体控制、图像渲染、桌面通知以及作为守护程序运行等功能。
阅读更多
Devzat 是一款自定义 SSH 服务器，可将用户带到聊天室而不是 shell 提示符。由于所有平台（甚至手机）上都有 SSH 应用程序，因此您可以在任何设备上连接到 Devzat！它具有房间、Markdown 支持、代码语法高亮、直接消息、时区支持、内置游戏、表情符号替换等功能。
阅读更多
llm2sh 是一个命令行工具，利用大型语言模型 (LLM) 将自然语言请求转换为 shell 命令。它提供了一种使用自然语言与系统交互的便捷方式。支持多种 LLM（例如 OpenAI、Claude 和 Groq）用于命令生成，并提供可自定义的配置文件。
阅读更多
该项目包含 SQLite 事务行为测试的代码，并提供了一个多平台 Docker 镜像，用于对 SQLite 数据库执行基准测试。该项目提供详细的使用说明，包括如何编译、运行和配置测试参数，例如线程数、扫描操作和更新操作等。
阅读更多
DECstation 2040是一个基于RP2040的DECstation 3000模拟器，可以运行DECWindows。它具有32 MB的PSRAM、8 MB的SPI闪存和一个uSD卡插槽，并支持以太网和单色VGA输出。该项目使用了RP2040的PIO和DMA功能来实现高效的视频输出和内存访问。
阅读更多
Blitzping是一款在用户空间内尽可能快地发送IP数据包的工具，专为嵌入式设备设计，仅依赖于标准POSIX头文件和C11的libc。它通过预先生成数据包静态部分、异步配置、多线程发送和编译器优化等方式，实现了比hping3和nping更高的数据包发送速度，尤其是在发送最小TCP SYN数据包时，性能提升显著。
阅读更多
这篇文章介绍了一本免费的 Bash 脚本入门电子书，该书旨在帮助读者学习 Bash 脚本的基础知识，并开始编写自己的脚本以自动化日常的 SysOps、DevOps 和开发任务。这本书适合任何希望学习 Bash 脚本基础知识的开发者、系统管理员或 DevOps 工程师。
阅读更多
Magic CLI 是一款使用大型语言模型 (LLM) 帮助用户更高效地使用命令行的工具，灵感来自 Amazon Q 和 GitHub Copilot for CLI 等项目。它可以根据用户的提示建议命令，并支持使用本地或远程 LLM（如 Ollama 和 OpenAI）。
阅读更多
Ly是一款轻量级的 Linux 和 BSD 操作系统 TUI 显示管理器，使用 ncurses-like 库构建。它支持多种桌面环境，如 awesome、bspwm、budgie、cinnamon 等，并提供基本的 Wayland 支持。Ly 不依赖于 systemd，可以通过配置文件自定义配置，例如更改启动的 tty、主题等。
阅读更多
Ar 是一种受限算术和 Z3 启发的图灵完备编程语言，它仅使用 inc、sub、mul 和 div 四个基本函数进行编程，不依赖循环或递归。Ar 使用整数代替 inc，实际上只需要三个函数。文章提供了使用 Ar 函数定义的示例，并探讨了其图灵完备性和通用函数的可能性。
阅读更多
splatviz 是一款交互式查看器，允许用户实时显示和编辑 3D 高斯渲染场景。它使用原生 Python GUI 库 (imgui) 在渲染前直接操作高斯 Python 对象，实现无限的编辑和可视化可能性。用户还可以渲染后评估 Python 表达式，以及可视化多个场景以进行并排或分屏比较。此外，它还能保存渲染、当前场景的 ply 文件，以及围绕场景 360° 旋转的视频。
阅读更多
BOA27是一个开源智能气球项目，旨在为生活在朝鲜《反动思想文化排斥法》第27条下的人们提供希望。该项目旨在设计和制造低成本的智能气球，用于向朝鲜运送信息、教育材料、宗教材料以及生活必需品等。该项目的目标是通过技术手段突破信息封锁，为朝鲜民众带去希望和改变。
阅读更多
Exo 是一个开源项目，可以将你的 iPhone、iPad、Android、Mac、Linux 等各种设备连接成一个人工智能集群，让你无需购买昂贵的 NVIDIA GPU 就能运行 LLaMA 等大型 AI 模型。Exo 支持自动设备发现、动态模型分区、ChatGPT 兼容 API 等功能，让你轻松构建和使用自己的 AI 集群。
阅读更多
Shapeshift 是一个 TypeScript 库，使用向量嵌入映射任意结构的 JSON 对象。它利用语义相似性匹配对象之间的键，允许灵活和智能的对象转换，包括对嵌套结构的支持。 该库的工作原理是：将源对象和目标对象都扁平化，在键中保留嵌套结构信息。它使用指定的嵌入提供程序和模型计算扁平化键的嵌入。对于扁平化源对象中的每个键，它使用嵌入的余弦相似度在扁平化目标对象中找到语义最相似的键。如果相似度得分高于指定的阈值，则将源对象中的值映射到目标对象中的相应键。最后，库对结果进行反扁平化，恢复目标对象的嵌套结构。
阅读更多
KUtrace 是一款轻量级 Linux 内核追踪工具，用于观察多核处理器上所有核心的执行时间，适用于分析未经修改的用户程序。它包含内核补丁、可加载模块和后处理软件，输出结果为每个 CPU 核心的 HTML/SVG 时间线，可以精确到纳秒级别，有助于理解实时交易或数据库处理中延迟响应的根本原因。
阅读更多
本文介绍了一个名为tlsd的工具，该工具可以从TLA+状态跟踪生成消息序列图，并以SVG或PDF格式输出。该工具适用于分析由各个节点之间交换消息组成的系统，通过将状态跟踪转换为类似于标准序列图的形式来帮助用户理解系统行为。
阅读更多
WhatWeb 是一款用 Ruby 编写的开源网站指纹识别工具，它可以识别网站使用的技术，包括内容管理系统、博客平台、统计/分析包、JavaScript 库、Web 服务器和嵌入式设备等。它拥有超过 1800 个插件，每个插件都可以识别不同的技术。WhatWeb 还可以识别版本号、电子邮件地址、帐户 ID、Web 框架模块、SQL 错误等。
阅读更多
Bluetui是一款用Rust编写的Linux蓝牙管理命令行工具，提供图形界面，方便用户管理蓝牙适配器、配对设备和新设备。用户可以通过Bluetui进行蓝牙扫描、连接、断开、配对、取消配对、信任、取消信任以及重命名等操作。
阅读更多