热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

GitHub - specfy/stack-analyser：从任何代码库中提取500多项技术

2024-11-23
GitHub - specfy/stack-analyser：从任何代码库中提取500多项技术

Stack Analyser是一个开源库，可以从代码库中提取500多种技术信息，包括依赖项、语言、基础设施、SaaS、数据库等。它支持多种编程语言和技术栈，例如Docker、NodeJS、TypeScript、PHP、Github Actions等，并通过读取package.json、docker-compose.yml、go.mod等文件来识别技术。该库还可以确定文件夹和服务之间的关系，并输出依赖项、服务及其之间链接的完整列表。Stack Analyser提供CLI和编程接口，并可用于GitHub Actions。

阅读更多
(github.com)
9
未分类 依赖项

RGFW：一个跨平台轻量级单头文件窗口抽象库

2024-11-23
RGFW：一个跨平台轻量级单头文件窗口抽象库

RGFW是一个跨平台、轻量级、单头文件的窗口抽象库，旨在简化图形程序和库的创建。它支持多种图形后端，例如OpenGL、Vulkan、DirectX和Metal，以及多种窗口后端，包括XLib、Cocoa、WinAPI和WebAssembly。RGFW提供事件系统和回调两种使用方式，并已成功在Linux、Windows、MacOS和HTML5等平台上测试。该库使用Zlib/libPNG许可证，可以免费用于商业和非商业用途。

阅读更多
(github.com)
9
未分类 C99

太空海盗篮球游戏“天空叛逆者”登陆GitHub

2024-11-22
太空海盗篮球游戏“天空叛逆者”登陆GitHub

“天空叛逆者”是一款P2P终端游戏，背景设定在2101年的太空，玩家将扮演太空海盗，通过篮球比赛争夺生存资源。该游戏由Rust语言开发，可在Linux、MacOS和Windows系统上运行，并提供Arch Linux发行版软件包。玩家可以通过SSH连接至游戏服务器或下载最新版本进行本地游戏。游戏目前处于开发阶段，版本更新频繁，存档可能不兼容。

阅读更多
(github.com)
10
未分类 P2P游戏 太空海盗

GitHub - ufmg-smite/lean-smt：用于将 Lean 目标转换为 SMT 解算器的策略

2024-11-22
GitHub - ufmg-smite/lean-smt：用于将 Lean 目标转换为 SMT 解算器的策略

lean-smt项目受SMTCoq启发，旨在提供可将Lean目标转换为SMT解算器的策略。该项目目前处于测试阶段，支持未解释函数和线性整数/实数算术（带量词）理论，位向量理论的支持处于实验阶段。lean-smt依赖于lean-cvc5 FFI，目前仅支持Linux (x86_64) 和 macOS (AArch64)。主要策略`smt`将当前目标转换为SMT查询，发送给cvc5，并在解算器返回unsat时在Lean中重放cvc5的证明。

阅读更多
(github.com)
7
未分类 cvc5

Broadcastarr：通过 Jellyfin 实例串流网页内容

2024-11-22
Broadcastarr：通过 Jellyfin 实例串流网页内容

Broadcastarr 是一款服务，允许用户通过网页抓取媒体内容并进行串流播放。它使用 AgendaTS 服务进行任务调度，例如发布类别、索引类别、抓取串流、发布群组等。该服务还包含一个 Discord 机器人，用于处理交互和命令，例如添加类别、设置配置等。Broadcastarr 支持 Jellyfin 作为播放器，以及 Discord 和 Matrix 作为发布平台。它具有可扩展性，并可以通过 Docker 镜像部署。此外，它还包含一个 Wireguard 客户端，允许工作节点通过 VPN 抓取网页内容。

阅读更多
(github.com)
10
未分类 串流 网页内容

基于稀疏自编码器的 Llama 3 可解释性

2024-11-22
基于稀疏自编码器的 Llama 3 可解释性

该项目利用稀疏自编码器 (SAE) 实现了 Llama 3 的可解释性，提供了一个完整的端到端流程，包括数据捕获、SAE 训练、特征解释和验证。项目使用纯 PyTorch 编写，具有最小的依赖性，并针对 Llama 3.2-3B 模型进行了测试。该项目捕获残差激活作为训练数据，并使用定制的 OpenWebText 数据集变体。SAE 训练过程中使用了辅助损失和梯度投影等技术来防止和恢复失效的潜在特征，并通过 Weights & Biases 进行日志记录和可视化。此外，项目还提供了特征提取和语义分析工具，并通过文本和聊天补全任务验证 SAE 对模型行为的影响。

阅读更多
(github.com)
10
未分类 LLM 可解释性 稀疏自编码器

GitHub - pingcap/autoflow：基于图 RAG 和对话知识库的工具

2024-11-22
GitHub - pingcap/autoflow：基于图 RAG 和对话知识库的工具

Autoflow 是一款基于图 RAG 和对话的知识库工具，构建于 TiDB Serverless 向量存储之上。它具有类似 Perplexity 的对话式搜索页面，内置网站爬虫，可抓取官方和文档网站，并支持编辑知识图谱。用户可以通过嵌入 JavaScript 代码片段，将对话搜索窗口集成到自己的网站。Autoflow 使用 TiDB 存储聊天历史、向量、JSON 和分析数据，采用 LlamaIndex 作为 RAG 框架，DSPy 作为基础模型编程框架，以及 Next.js 和 shadcn/ui 分别作为前端框架和设计系统。

阅读更多
(github.com)
10
未分类 对话式搜索

GitHub - openzfsonwindows/openzfs：适用于 Linux 和 FreeBSD 的 OpenZFS

2024-11-21
GitHub - openzfsonwindows/openzfs：适用于 Linux 和 FreeBSD 的 OpenZFS

OpenZFS 是一个最初为 Solaris 开发，现在由 OpenZFS 社区维护的高级文件系统和卷管理器。该 GitHub 仓库包含在 Linux 和 FreeBSD 上运行 OpenZFS 的代码。Windows 端口仍处于测试阶段，虽然 ZFS 数据应该可以安全地运行，但仍可能存在崩溃和错误。建议先用测试数据进行尝试，并在遇到问题时提交 GitHub 错误报告。仓库中包含安装说明、贡献指南和行为准则等文档。OpenZFS 基于 CDDL 许可证发布。

阅读更多
(github.com)
8
未分类

DarkFlare：基于CDN的隐蔽TCP隧道工具

2024-11-21
DarkFlare：基于CDN的隐蔽TCP隧道工具

DarkFlare是一款将TCP流量伪装成HTTPS请求的工具，允许流量绕过防火墙限制。它包含客户端和服务器端两部分：客户端将TCP数据编码成HTTPS请求并发送到Cloudflare保护的域名，服务器端解码请求并将数据转发到本地服务（如SSH）。DarkFlare利用Cloudflare的加密基础设施，具有隐蔽性和可扩展性，可用于访问内部资源或绕过网络限制。

阅读更多
(github.com)
7
未分类

MontyHome设备破解指南

2024-11-21
MontyHome设备破解指南

本文档介绍如何使用树莓派扩展MontyHome BLE设备的功能，该设备原本用于堆肥监测，可收集温度、湿度等环境数据。指南提供了三个项目示例：基于温度控制LED灯、在OLED屏幕上显示温湿度数据以及通过IFTTT发送温度警报。指南包含硬件和软件需求、BLE命令说明、代码运行步骤以及自定义方法等，适合对蓝牙低功耗设备、物联网应用或环境监测感兴趣的用户。

阅读更多
(github.com)
7
未分类

GitHub - opennextjs/opennextjs-aws: 开源 Next.js 适配器

2024-11-20
GitHub - opennextjs/opennextjs-aws: 开源 Next.js 适配器

OpenNext 是一个开源的 Next.js 适配器，用于将 Next.js 构建输出转换为可在各种环境中部署的包。它原生支持 AWS Lambda 和经典 Node.js 服务器，旨在支持所有 Next.js 14 功能，包括路由、API 路由、动态路由、静态站点生成 (SSG)、服务器端渲染 (SSR)、增量静态再生 (ISR)、中间件、服务器操作、图像优化和 NextAuth.js 等。OpenNext 还提供了预发布版本和调试模式，方便开发者进行测试和调试。

阅读更多
(github.com)
8
未分类

GitHub - greymattergames/unbug：一个使用辅助宏以编程方式调用调试断点的crate

2024-11-20
GitHub - greymattergames/unbug：一个使用辅助宏以编程方式调用调试断点的crate

Unbug是一个Rust库，提供宏来在调试过程中触发断点。它支持类似断言的宏，以及在特定条件下触发断点或记录错误信息的宏。该库默认禁用，需要启用`enable`特性和`core_intrinsics`特性才能在调试构建中激活断点功能。使用示例包括`unbug::breakpoint!()`, `unbug::ensure!()`, `unbug::ensure_always!()`, `unbug::fail!()` 和 `unbug::fail_always!()` 等宏。

阅读更多
(github.com)
9
未分类

GitHub - dbohdan/recur：使用指数退避和抖动重试命令（+ Starlark 表达式）

2024-11-20
GitHub - dbohdan/recur：使用指数退避和抖动重试命令（+ Starlark 表达式）

recur是一个命令行工具，它反复运行单个命令，直到成功或没有剩余尝试次数。它实现了可选的指数退避和可配置的抖动，并允许用户使用Starlark编写成功条件。recur支持使用类似Python的Starlark语言定义成功条件，并提供了一些内置变量（如attempt、code、time）和自定义函数（如exit()）。该工具还提供了丰富的命令行选项，例如控制尝试次数、退避基数、延迟、超时等。

阅读更多
(github.com)
7
未分类

GitHub 数据工程师手册

2024-11-20
GitHub 数据工程师手册

该GitHub仓库提供成为优秀数据工程师所需的全面资源，包括针对数据工程入行者的2024学习路线图、为期六周的免费YouTube训练营、实践项目、面试技巧、书籍推荐、优质社群以及邮件订阅列表。涵盖数据湖、数据仓库、数据质量、数据集成、实时数据聚合、LLM应用库等主题，并列举了多个学习平台、播客、邮件订阅和术语表，力求一站式解决数据工程师的学习需求。

阅读更多
(github.com)
7
未分类

Leopards：像查询数据库一样查询 Python 列表

2024-11-20
Leopards：像查询数据库一样查询 Python 列表

Leopards 是一个 Python 库，允许用户像查询数据库管理系统 (DBMS) 一样查询字典或对象的列表。它支持多种过滤条件，例如等于、大于、小于、包含、开头、结尾等，并支持 AND、OR、NOT 等逻辑运算符。Leopards 还提供了一些聚合函数，例如计数、最大值、最小值、求和和平均值。与 Pandas 相比，Leopards 的包大小更小，导入速度更快，并且在处理过滤和聚合操作时效率更高。

阅读更多
(github.com)
8
未分类 列表查询 Leopards

WebVM：网页版虚拟机

2024-11-20
WebVM：网页版虚拟机

WebVM是一个在浏览器中运行的Linux虚拟机，其源码托管于此仓库。它是一个完全在客户端运行的无服务器虚拟环境，基于HTML5/WebAssembly，兼容Linux ABI，运行未经修改的Debian发行版，并包含许多原生开发工具链。WebVM由CheerpX虚拟化引擎驱动，支持在任何浏览器上安全地沙盒执行x86二进制文件。用户可以通过Tailscale实现网络连接，并可自行fork仓库进行部署和自定义。

阅读更多
(github.com)
9
未分类

GitHub - mtantaoui/Integrate：一个用 Rust 编写的轻量级数值积分库

2024-11-19
GitHub - mtantaoui/Integrate：一个用 Rust 编写的轻量级数值积分库

Integrate 是一个轻量级的 Rust 库，用于执行实值函数的数值积分。它支持多种数值积分技术，包括牛顿-科茨公式（矩形法则、梯形法则、辛普森法则、牛顿 3/8 法则）、高斯求积法（高斯-勒让德、高斯-拉盖尔、高斯-埃尔米特、高斯-切比雪夫第一类、高斯-切比雪夫第二类）以及自适应方法（自适应辛普森法和龙贝格法）。使用前需要注意被积函数的连续性、奇点和振荡等问题。

阅读更多
(github.com)
11
未分类 数值积分 Integrate

pglite-fusion：在PostgreSQL表中嵌入SQLite数据库

2024-11-19
pglite-fusion：在PostgreSQL表中嵌入SQLite数据库

pglite-fusion是一个PostgreSQL扩展，允许在PostgreSQL表中嵌入SQLite数据库。该项目提供了一种多租户解决方案，允许用户在单个PostgreSQL表中管理多个SQLite数据库。它提供了一组用于创建、查询和修改嵌入式SQLite数据库的函数，例如`empty_sqlite`、`query_sqlite`和`execute_sqlite`。用户可以使用Docker运行预先安装了pglite-fusion的PostgreSQL数据库，并通过psql连接进行操作。

阅读更多
(github.com)
5
未分类

GitHub - ssoready/hyrumtoken：一个用于加密分页令牌的 Golang 包

2024-11-19
GitHub - ssoready/hyrumtoken：一个用于加密分页令牌的 Golang 包

hyrumtoken是一个Golang包，用于加密分页令牌，防止API客户端依赖令牌内容、顺序或其他特征。它通过加密分页状态数据来实现这一点，使用NaCL的secretbox和随机nonce进行加密，并需要一个密钥。该包提供了Marshal和Unmarshal函数，类似于json的对应函数，但需要一个密钥。文章还讨论了如何使用hyrumtoken实现令牌过期、密钥轮换和更改分页方案等高级用法。

阅读更多
(github.com)
10
未分类

Sequin：一款可读的 ANSI 序列工具

2024-11-19
Sequin：一款可读的 ANSI 序列工具

Sequin 是一款用于解析和解释 ANSI 转义序列的命令行工具，可帮助开发者调试 CLI 和 TUI 程序，理解终端输出中的颜色、样式等效果，并检查测试输出。它支持多种安装方式，包括包管理器、二进制文件和 Go 安装，并提供 shell 自动补全功能。Sequin 可以直接解释 ANSI 序列、读取程序输出以及检查 TUI 的 golden 文件。它还提供了一种原始模式，可以高亮显示原始序列。

阅读更多
(github.com)
10
未分类

GitHub - notrab/dumbo: 轻量友好的HTTP PHP框架

2024-11-19
GitHub - notrab/dumbo: 轻量友好的HTTP PHP框架

Dumbo是一个轻量、友好的PHP HTTP框架，灵感来自Hono。它具有轻量快速、中间件支持、灵活路由、内置安全特性（CSRF、JWT）、Cookie管理、日期辅助工具、请求ID追踪、静态文件服务、基本和Bearer身份验证、日志支持、HTTP缓存以及CORS支持等功能。可以通过Composer安装，并提供了快速入门示例和详细文档，涵盖路由、参数、嵌套、上下文、响应、中间件和自定义上下文等方面。

阅读更多
(github.com)
13
未分类 HTTP框架 Dumbo

Hyperfine：一款命令行基准测试工具

2024-11-19
Hyperfine：一款命令行基准测试工具

Hyperfine是一款命令行基准测试工具，支持统计分析、任意shell命令、缓存清理、参数化基准测试以及结果导出为CSV、JSON、Markdown等格式。它适用于Linux、macOS、Windows等多个平台，可以通过多种方式安装，例如dpkg、Homebrew、cargo等。Hyperfine通过多次运行命令并进行统计分析，可以帮助用户精确地评估不同命令或程序的性能。

阅读更多
(github.com)
10
未分类

GitHub - circlemind-ai/fast-graphrag：智能适应用例、数据和查询的RAG

2024-11-19
GitHub - circlemind-ai/fast-graphrag：智能适应用例、数据和查询的RAG

Fast GraphRAG是一个简化的、可提示的快速图RAG框架，专为可解释的、高精度的、代理驱动的检索工作流而设计。它具有快速、低成本、高效的特点，支持动态数据和增量更新，并利用基于PageRank的图探索来提高准确性和可靠性。该框架易于安装和使用，提供异步和类型支持，并可与不同的OpenAI API兼容语言模型和嵌入器配合使用。Fast GraphRAG旨在无缝集成到检索管道中，提供高级RAG的功能，而无需构建和设计代理工作流的开销。

阅读更多
(github.com)
14
未分类 检索

Documind：基于AI的开源文档结构化数据提取平台

2024-11-18
Documind：基于AI的开源文档结构化数据提取平台

Documind是一个利用AI从PDF文档中提取结构化数据的开源平台。它能够将PDF转换为图像，使用OpenAI的API提取信息，并根据自定义模式格式化结果。用户可以定义提取模式以处理不同格式的文档。Documind支持本地和云端部署，即将推出托管版本，提供更便捷的使用体验。使用前需要安装Ghostscript、GraphicsMagick、Node.js和NPM等依赖，并设置环境变量。

阅读更多
(github.com)
15
未分类 PDF提取

GitHub - serpapi/nokolexbor：基于 Lexbor 的 Ruby 高性能 HTML5 解析器，支持 CSS 选择器和 XPath

2024-11-18
GitHub - serpapi/nokolexbor：基于 Lexbor 的 Ruby 高性能 HTML5 解析器，支持 CSS 选择器和 XPath

Nokolexbor 是一个 Nokogiri 的替代品，速度提升显著，解析 HTML 的速度提高了 5.2 倍，CSS 选择器的速度则最高提升了 997 倍。它是一个基于 Lexbor 的 Ruby 高性能 HTML5 解析器，支持 CSS 选择器和 XPath，API 设计尽可能与 Nokogiri 兼容。基准测试显示，在解析谷歌结果页面和使用 CSS 选择器方面，Nokolexbor 比 Nokogiri 快得多，但在 XPath 方面两者速度相近。

阅读更多
(github.com)
15
未分类 HTML 解析器

GitHub - trynova/nova：JS引擎

2024-11-18
GitHub - trynova/nova：JS引擎

Nova 是一个用 Rust 编写的 JavaScript 和 WebAssembly 引擎，以库的形式提供 API 供 Rust 项目调用，并作为 JavaScript 代码的运行时环境。它的执行模型深受 Kiesel 和 SerenityOS 的 LibJS 启发，采用数据驱动设计，核心团队在 Discord 服务器上活跃。该项目目前仍处于开发阶段，尚不适合实际使用。它在芬兰 Rust-lang meetup 和 Web Engines Hackfest 2024 上进行了演讲，重点介绍了 JavaScript 引擎的工作原理、Nova 的设计选择以及数据驱动引擎设计的优缺点。

阅读更多
(github.com)
10
未分类

C 语言 Web 模块：模块化高效的 C 语言 Web 开发方法

2024-11-18
C 语言 Web 模块：模块化高效的 C 语言 Web 开发方法

c-web-modules 项目提供了一种模块化和高效的 C 语言 Web 开发方法。该项目允许直接上传 C 代码到服务器，并在运行时编译和部署，无需预编译。它解决了 C 语言在 Web 开发中的一些常见问题，例如：缓慢的构建周期、速度与实用性的权衡、人力和上市时间、内存管理和崩溃以及预制解决方案等。该项目通过隔离模块并动态管理它们，降低了服务器崩溃的风险，并支持 WebSocket，即使模块更新，现有的 WebSocket 连接也能保持活动状态。

阅读更多
(github.com)
10
未分类 C 语言
1 2 … 50 51 52 54 56 57 58 … 93 94