GitHub - dandavison/delta:用于 git、diff、grep 和 blame 输出的语法高亮分页器

2024-11-09

Delta 是一款语法高亮分页器,用于 git、diff、grep 和 blame 输出,旨在提高代码比较的效率和体验。它支持多种语法高亮主题、字级差异高亮、并排视图、行号显示、改进的合并冲突和 git blame 显示等功能,并兼容 diff-highlight 和 diff-so-fancy 等工具。Delta 还支持多种托管平台的超链接功能,方便用户快速跳转到代码库页面。

阅读更多
15
未分类

intentrace:更具意图的 strace 工具

2024-11-08

intentrace 是一款类似 strace 的系统调用追踪工具,但它更进一步,通过分析大量的系统调用推断,理解程序的意图。它能够解释系统调用的实际含义,方便程序员调试崩溃的二进制文件。目前 intentrace 处于测试阶段,支持 x86-64 架构,并计划覆盖所有 Linux 系统调用。用户可以通过命令行参数控制其行为,例如跟踪子进程、仅显示失败的调用等。

阅读更多
13
未分类 strace

BemiDB:一个针对分析优化的 Postgres 读取副本

2024-11-08

BemiDB 是一款针对分析优化的 Postgres 读取副本,它使用单一二进制文件连接到 Postgres 数据库,以压缩列式格式复制数据,并允许使用其兼容 Postgres 的分析查询引擎运行复杂查询。BemiDB 比 Postgres 快 2000 倍,可与 Postgres 生态系统中的任何服务和工具集成,并原生支持 S3 存储。它简化了数据栈,无需复杂设置、数据迁移、CDC、ETL 或数据仓库。

阅读更多
15
未分类

Ping时钟:实时监控网络连接状态

2024-11-07

Ping时钟是一款开源硬件,可实时显示网络连接的ping值。它使用ESP32控制,通过WiFi连接到指定主机,并将ping时间显示在电子墨水屏上。外层指针每秒更新一次ping值,内层指针跟踪最近的最大ping值,方便用户直观地了解网络连接状态。该项目包含详细的硬件设计、软件代码和组装说明,以及物料清单和成本估算。

阅读更多
16
未分类 ping

GitHub - stoix-dev/stoix-cloud-saver

2024-11-07

本文档介绍了如何启动和设置 Pulumi 项目,并将其与 DigitalOcean CLI (doctl) 集成,以便在 DigitalOcean 上管理基础架构。文章详细说明了安装 Pulumi、Node.js、Python、doctl 和 Git 的步骤,以及如何使用 TypeScript 创建新的 Pulumi 项目。此外,还介绍了如何生成 doctl 令牌、验证 doctl、标记和推送应用程序镜像到 DigitalOcean Docker Registry,以及使用 Pulumi 和 doctl 创建和管理 Kubernetes 集群等操作。

阅读更多
16
未分类 Pulumi DigitalOcean

GitHub - kmarker1101/jeopardy

2024-11-07

这是一个简单的Jeopardy文字游戏,使用Python编写,并利用LLM(大语言模型)生成问题和答案。该游戏使用了Ollama和mistral本地部署。用户可以通过运行`poetry run python jeopardy_game.py`来启动游戏。游戏代码遵循Eclipse Public License 2.0开源协议。

阅读更多
15
未分类

猴子和椰子问题求解

2024-11-06

这篇文章提供了一个用Python代码解决经典的“猴子和椰子”问题的详细解答。问题描述一群水手和一只猴子在一座岛上发现了一堆椰子。水手们轮流将椰子分成相等的部分,每次都留给猴子一个椰子,然后自己藏起一部分。最后,猴子也分到了一份椰子。文章通过代码模拟了分配过程,并使用数学方法推导出椰子总数的公式。代码清晰地展示了如何使用循环和条件语句来模拟水手的行为,并最终计算出椰子的总数。

阅读更多
18
未分类

Superstreamer:一个开源、可扩展的在线流媒体搭建方案

2024-11-06

Superstreamer是一个自托管平台,旨在简化视频交付的复杂性。它提供了一套从视频摄取到自适应播放的完整工具包,开发者可以通过简单的API调用和合理的默认设置将媒体转码并打包用于在线流媒体,或者动态创建包含片头、广告和滤镜的HLS播放列表。该平台支持将视频文件转码为不同质量的轨道(例如1080p、720p、480p),并将HLS CMAF播放列表直接写入S3以供播放。此外,它还支持插入类似Netflix的片头,将线性广告作为插播广告插入,并提供了一个简化的HLS.js facade,方便播放器构建者使用。

阅读更多
20
未分类

GitHub - gregpr07/browser-use:使用大型语言模型的开源 Web 自动化

2024-11-05

Browser-Use 是一个开源项目,利用大型语言模型 (LLM) 实现 Web 自动化。它支持多种 LLM 模型,能够自动检测交互元素、管理多标签页、提取 XPath 信息,并支持视觉模型处理页面信息。用户可以通过简单的命令行接口或 Python 代码与其交互,执行诸如搜索航班、查找公司信息等任务。项目提供了丰富的示例和文档,并鼓励用户贡献和反馈。

阅读更多
18
未分类 Web 自动化

Whirlwind:Rust的快速异步分片哈希映射

2024-11-05

Whirlwind是一个为Rust设计的异步、分片HashMap,旨在实现高性能并发数据访问。它具有异步就绪、高性能、线程安全、类似HashMap的API以及可自定义分片数量等特性。该库提供示例代码演示了并发插入和自定义分片数量的用法,并提供了基准测试结果。Whirlwind处于开发阶段,在1.0版本发布之前,API可能会有改动。

阅读更多
18
未分类 异步 HashMap

GitHub - SelfExplainML/PiML-Toolbox:用于模型开发和诊断的PiML(Python可解释机器学习)工具箱

2024-11-05

PiML (Python Interpretable Machine Learning) 是一个用于可解释机器学习模型开发和验证的Python工具箱。它通过低代码界面和高代码API,支持一系列固有的可解释机器学习模型,包括GLM、GAM、Tree、FIGS、XGB1、XGB2、EBM、GAMI-Net和ReLU-DNN等。PiML也适用于任意监督机器学习模型,支持回归和二元分类设置,并提供全面的结果测试,包括准确性、可解释性、公平性、弱点识别、过拟合识别、可靠性、鲁棒性和弹性等。该工具箱可以通过pip install PiML安装,并提供低代码和高代码示例以及详细的文档。

阅读更多
21

Varse:快速服务器变量管理器

2024-11-05

Varse是一个用于在运行时更新服务器变量的工具,提供用于管理变量的仪表板和用于读取变量的SDK。它具有内置的团队管理功能,可以在团队之间共享配置。Varse可用于特性开关、滚动发布和特定于环境的配置。它具有后端和仪表板,变量在仪表板中创建和更新,API密钥也在仪表板中创建,并用于对后端的请求进行身份验证。Varse提供客户端SDK(React)和服务器端SDK(Node.js)以读取变量。可以通过本地设置或Varse Cloud使用。

阅读更多
17
未分类 变量管理

rallyup:轻量级局域网唤醒调度和依赖管理器

2024-11-05

rallyup 是一款轻量级局域网唤醒 (WOL) 调度和依赖管理器,专为小型企业和家庭实验室设计。它确保基础设施服务(如防火墙、存储和虚拟机管理程序)以正确的顺序联机,尤其是在断电等事件之后。通过 YAML 配置文件定义服务器启动顺序、依赖关系和状态检查。它支持 VLAN,并提供内置状态检查(HTTP、端口、Shell)以及自定义插件扩展。

阅读更多
19
未分类 WOL 局域网唤醒

GitHub - iterative/datachain:用于丰富、转换和分析云存储数据的AI数据仓库

2024-11-05

DataChain是一个Python数据框架库,专为人工智能设计,用于将非结构化数据组织成数据集,并在本地机器上进行大规模处理。它支持多种数据类型,可以直接从S3、GCP、Azure等云存储以及本地文件系统读取数据,并进行丰富、转换和分析。DataChain集成了AI模型和API调用,支持并行化和内存外计算,并提供向量化操作和向量搜索等功能。DataChain还可用于LLM评估、序列化Python对象以及与PyTorch数据加载器集成。

阅读更多
18

Upkie:开源轮式双足机器人

2024-11-04

Upkie 是一款完全开源的自平衡轮式双足机器人,它使用轮子保持平衡,并依靠腿部行走于不平坦的地形。Upkie 的设计允许用户在家中使用网上订购的工具和组件自行组装,例如 mjbots 执行器。用户可以在 Linux 或 macOS 上使用 Python 或 C++ 进行开发,然后将软件部署到机器人的 Raspberry Pi 上。该项目提供构建和控制 Upkie 的所有必要资料,包括硬件(材料清单、构建说明、项目日志)和软件(安装、入门指南、文档、示例、Gymnasium 环境、代理等)。

阅读更多
20
未分类 双足机器人

GitHub - karthink/gptel:一个简单的 Emacs LLM 客户端

2024-11-03

gptel 是一个用于 Emacs 的简单大型语言模型聊天客户端,支持多种模型和后端。它可以在任何缓冲区中随时随地使用。支持 ChatGPT、Azure、Ollama、GPT4All、Gemini 等多种后端和模型,可以异步快速地流式传输响应。它支持多轮对话、一次性交互、多模式模型(包括图像、文档),并可以将聊天保存为 Markdown/Org/Text 文件以便以后恢复。此外,它还提供了一些额外的功能,例如:添加上下文、重写/重构代码、Org 模式便利功能等。

阅读更多
18
未分类

Project Sid:迈向AI文明的多智能体模拟

2024-11-03

Project Sid项目利用大型模拟探索众多AI智能体在社会中的行为和发展。该项目引入了PIANO(通过神经协调进行并行信息聚合)架构,使智能体能够实时与人类和其他智能体交互。在Minecraft环境中进行的模拟表明,智能体能够自主发展专门角色、遵守和改变集体规则,并参与文化和宗教传播,展现出迈向AI文明的显著进展。

阅读更多
23
未分类 多智能体模拟

Toolgit:提升Git效率的工具包

2024-11-03

Toolgit是一个包含多个脚本的集合,扩展了Git的功能,提供各种子命令以简化Git操作。这些命令包括修改暂存更改、删除远程已不存在的本地分支、输出.git目录路径、强制拉取远程分支、快进所有远程跟踪分支、对Git仓库进行垃圾回收、判断当前目录是否为Git仓库、判断分支是否为远程分支、判断HEAD是否处于游离状态、判断工作树是否干净、变基当前HEAD的整个历史记录、获取主分支名称、恢复索引和工作树中的文件模式、输出Git仓库的根路径以及在添加或删除的行中搜索历史记录等。

阅读更多
18
未分类

GitHub项目DeskThing:基于Spotify Car Thing的桌面助手

2024-11-03

DeskThing项目利用Spotify的Car Thing设备,将其改造为桌面助手。该项目集成了Trello、Spotify、AccuWeather API以及宏功能,旨在控制桌面环境。用户可以通过配套的桌面应用程序管理和更新Car Thing的显示内容,自定义按钮功能,并集成Spotify、Discord、天气等应用程序。项目提供了详细的设置说明、视频教程和MacOS的特殊注意事项,并鼓励开发者参与应用开发。

阅读更多
23

GitHub - react-gjs/renderer:一个用于 Gnome JS 的 React 渲染器

2024-11-03

react-gjs/renderer 是一个用于 Gnome JS 的 React 渲染器,它提供了一些组件和方法,允许开发者使用 React 构建原生 Gnome GTK 应用程序。该渲染器提供了 Gtk3 的各种组件的 JSX 组件,并支持完整的 TypeScript 类型定义。开发者可以使用 webpack、esbuild 或 rollup 等工具将其打包到单个 .js 文件中使用。项目仍处于早期开发阶段,欢迎开发者参与贡献。

阅读更多
22
未分类 Gnome

GitHub项目:Block Block Device——基于红石内存创建块设备

2024-11-03

Block Block Device是一个Minecraft模组和NBDKit插件,允许在计算机上创建由Minecraft世界中的红石驱动的块设备。用户需要安装NBDKit、Minecraft 1.19.3以及连接NBD服务器的方法。首先,将模组安装到Minecraft游戏中。启动游戏并进入世界后,使用python插件运行NBDKit。然后使用NBD客户端连接,即可在/dev/nbd0访问该块设备。模组在端口8394上公开了一个HTTP服务器,并允许通过请求读写Minecraft世界中的块。模组包含/generate_memory、/encode_chunk和/decode_chunk等命令,用于生成内存单元和读写内存。

阅读更多
21
未分类 NBD 红石

用 Haskell 实现的 Unix 核心工具

2024-11-03

该项目用 Haskell 重新实现了 Unix 的核心工具,目标是实现惯用的 Haskell 代码、快速且惰性的 IO、与 BSD 工具的功能对等、全面的测试以及平台独立性。项目编译成单个可执行文件,根据二进制文件的名称检测要调用的工具。用户可以通过符号链接或复制二进制文件的方式来使用这些工具。

阅读更多
22
未分类 coreutils

GitHub - fabiospampinato/cash: 一个面向现代浏览器的超小型 jQuery 替代方案

2024-11-02

Cash 是一个面向现代浏览器 (IE11+) 的超小型 jQuery 替代库,它提供了类似 jQuery 的语法来操作 DOM。它利用现代浏览器特性最大限度地减少代码库大小,使开发者能够以极小的文件体积使用熟悉的链式方法。虽然 Cash 并不追求与 jQuery 100% 的功能对等,但它已经涵盖了大多数日常使用场景。与 jQuery Slim 相比,Cash 的体积减少了 76.6%。Cash 支持部分构建以进一步减小体积,并提供了详细的文档和迁移指南。

阅读更多
22

Someday:基于 Google App Script 的免费开源 Calendly 替代方案

2024-11-02

Someday 是一款免费开源的日程安排工具,专为 Gmail 用户设计,可作为 cal.com 或 Calendly 的替代品。它基于 Google App Script 构建,并使用 React、TypeScript、Shadcn/UI 和 Vite 等现代技术。Someday 提供自定义工作时间、简易的预约流程以及与 Gmail 的无缝集成等功能,注重用户隐私,所有数据都由用户掌控。

阅读更多
23
未分类

Cppfront v0.8.0 版本发布

2024-11-02

Cppfront v0.8.0版本发布,主要更新包括:更改许可证为Apache 2.0 with LLVM Exception,允许商业使用;规范函数语法,要求所有函数使用=,默认单表达式函数体返回类型为`-> forward _`;新增`_ref`参数传递选项,用于`in`参数和`forward _`返回值;新增`decltype()`和`type_of()`支持;支持异构范围;将`unsafe_*`重命名为`unchecked_*`;新增`@hashable`元函数;`forward`参数支持可转换/派生类型参数;`@struct`构造函数使用`forward`参数等。

阅读更多
21
未分类 cppfront c++

GitHub - ryohey/signal:在线MIDI编辑器

2024-11-02

Signal是一款使用Web技术开发的、用户友好的、跨平台的在线MIDI音序器应用程序。它旨在简化音乐创作的初始阶段,方便艺术家快速记录音乐构思。Signal并非要取代数字音频工作站(DAW),而是作为一种补充工具。它专注于简洁性和易用性,提供基本的音质,不包含任何音效,并保持轻量级设计。

阅读更多
27
1 2 3 4 5 6 8 10 11 12 44 45