Sharpl是一个用C#实现的自定义Lisp解释器,它易于嵌入,并带有一个简单的REPL。该代码库目前大约有4kloc。文章详细介绍了Sharpl的特性,包括词法和动态绑定、分支、方法、lambda、尾调用、可变参数、组合、引用、符号、复合类型、迭代器、库、求值、测试、基准测试和调试等。
Timeshift 是一款 Linux 系统还原工具,类似于 Windows 中的系统还原和 Mac OS 中的时间机器。它通过定期创建文件系统的增量快照来保护系统,用户可以在以后还原这些快照以撤销对系统的所有更改。默认情况下,快照保存在系统分区中,但也可以选择其他分区,也可以使用外部硬盘。Timeshift 支持多种快照级别、Rsync 和 BTRFS 快照,并默认排除用户数据。
Maestro 是 Netflix 开发的一款通用工作流编排器,为数据平台用户提供完全托管的工作流即服务 (WAAS)。它每天为数据科学家、数据工程师、机器学习工程师等数千名用户提供服务,处理数十万个工作流和数百万个作业。Maestro 具有高度可扩展性和可扩展性,支持现有和新的用例,并为最终用户提供增强的可用性。
OpenDataCapture是一个基于web的平台,旨在进行持续的临床数据收集。该平台以仪器为中心,可以理解为任何可以用来收集数据的工具(例如,表格、互动任务)。该平台使用TypeScript和现代框架构建,具有鲁棒性和可扩展性,并提供多语言支持以实现全球可访问性。它为临床医生提供了直观的界面,可以进行现场评估,并为患者提供外部网关服务,以便他们能够自我管理远程分配的任务。
Audapolis 是一款面向口语媒体的免费音频编辑器,它可以自动转录音频,提供类似文字处理器的编辑体验,适用于视频、音频和混合编辑,并支持 Windows、Linux 和 macOS 系统。
这篇文章收集了大量 Bash 单行命令和终端技巧,用于数据处理和 Linux 系统维护,涵盖了变量操作、数学运算、文本处理、文件操作、系统管理、硬件信息、网络配置等方面,并提供了一些有用的工具和技巧。
Eza 是对 Unix 和 Linux 系统中 ls 命令的现代替代品,提供更多功能和更优的默认设置。它使用颜色区分文件类型和元数据,支持符号链接、扩展属性和 Git,并且体积小、速度快,只有一个二进制文件。Eza 致力于成为功能更丰富、用户体验更友好的 ls 版本。
orch是一个用于构建由语言模型驱动的应用程序和代理的Rust库,它主要用于magic-cli,但也适用于其他场景。它提供了文本生成、流式文本生成、结构化数据生成和嵌入生成等功能,并支持使用Ollama作为语言模型。
Jiff 是一个 Rust 的日期时间库,专注于提供难以误用且性能合理的 datetime 原语。Jiff 支持与时区数据库的自动无缝集成,支持时区感知的算术和舍入,无损格式化和解析时区感知的日期时间,可选的 Serde 支持等等。Jiff 从 Temporal 中获得了巨大的灵感,Temporal 是一个改进 JavaScript 中日期时间处理的 TC39 提案。
TinkerBird 是一款基于 Chrome 的原生向量数据库,旨在高效存储和检索高维向量(嵌入)。它使用 TypeScript 编写,利用 HNSW(分层可导航小世界)索引进行快速向量检索,并使用 IndexedDB 进行存储。TinkerBird 可以帮助大型语言模型(LLM)克服幻觉问题,通过提供相关上下文来改善 LLM 响应的准确性,并最大程度地减少无关标记产生的计算成本。
Cosmopolitan v3.5.8 版本已发布,该版本包含多线程改进、ctype.h 和 wctype.h 错误修复、以及对最新 superconfigure 的升级。此外,还开始为 APE 编写正式规范。
Constantine是一个开源密码学库,专注于区块链和零知识证明系统。它提供多种椭圆曲线(BN254-Snarks, BLS12-381, Pasta curves)、协议(BLS签名, KZG承诺, IPA承诺)以及哈希函数和CSPRNG。Constantine采用Nim编写,具有高性能、零依赖、注重安全等特点,并通过汇编和硬件加速进一步提升性能。
本文提供了一份简单易用的GNU/Linux生产系统安全加固清单,旨在帮助用户降低系统漏洞,提高安全性。清单涵盖了分区、引导加载程序、内核、日志记录、用户和组、文件系统、权限、系统更新、网络等方面,并根据重要程度进行了优先级划分,方便用户按需实施。
wc-helpers是一个用于简化Web组件创建的JavaScript库。它提供了一系列mixin和实用函数,用于自动创建匿名自定义元素、管理shadow DOM、处理属性状态、以及简化HTML和CSS模板的创建等。
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 数据库执行基准测试。该项目提供详细的使用说明,包括如何编译、运行和配置测试参数,例如线程数、扫描操作和更新操作等。