weggli 是一个快速且强大的 C 和 C++ 代码库语义搜索工具，旨在帮助安全研究人员识别大型代码库中的有趣功能。 weggli 根据用户提供的查询对抽象语法树执行模式匹配。它的查询语言类似...

Module Proxy是一款HTTP反向代理中间件，突出的靓点是将HTTP协议代理为TCP Socket协议，特别适合Web前后台分离的编程架构项目，使用Module Proxy可以让后端编程...

Pijul 是一个分布式的版本控制系统, 区别于 Git，Pijul 没有 'commits' 的概念，也不会储存备份每一个文件变化版本，而是使用 'patch'，把文件的变化内容作为版本控制的...

GlueSQL 是一个用 Rust 编写的 SQL 数据库库。它提供了一个解析器（sqlparser-rs）、执行层和可选的存储（sled）打包成一个库。开发者可以选择使用 GlueSQL 来建...

Seax 是一个基于虚拟机的平台，用于执行函数式编程语言的程序。这个项目被分割成若干个独立的 Cargo crates，每个都有自己的 Git 仓库： Seax Command-Line App...

gobang 是一个用 Rust 编写的跨平台的 TUI 数据库管理工具，该项目目前处于 alpha 阶段。特点： 跨平台支持（macOS、Windows、Linux） 多数据库支持（MySQL...

FirefoxPWA 是一款支持在 Firefox 安装、管理和使用渐进式 Web 应用程序 (PWA) 的工具。 PWA 是渐进式网络应用程序（Progressive Web Apps）的缩写...

Helix 是一个后现代的模态文本编辑器。受 kakoune/neovim 启发的编辑器，用 Rust 编写；编辑模型在很大程度上是基于 kakoune。 整体设计是围绕着多个选择作为编辑原语，...

Hora 是一个近似的近邻搜索算法库。用 Rust 实现了所有的代码，以获得可靠性、高水平的抽象和与 C++ 相当的高速度，这些使它真正适合于人工智能计算场景。 特性： 高性能 SIMD 加速（...

axum 是一个使用了 Tokio、Tower 和 Hyper，并专注于模块化的 Web 应用程序框架。 其高级功能包括： 用一个无宏的 API 将请求路由到处理程序。 使用提取器对请求进行声明...

Winterfell 一个用于任意计算的 STARK 证明器和验证器。这是一个研究项目，目前它没有经过审计，可能包含错误和安全缺陷。这个实现还没有准备好用于生产环境中。 概述： STARK 是一...

espanso 是一个用 Rust 编写的跨平台文本扩展器。 特性： 适用于Windows、macOS和Linux 几乎适用于任何程序 使用表情符号 处理图像 日期扩展支持 自定义脚本支持 Sh...

PyO3 是 Python 的 Rust 绑定，可以用 Rust 语言对 Python 加速。这包括用 Rust 语言运行 Python 代码并与之交互，以及直接编写原生 Python 模块。 ...

MeiliSearch 是近两年开源的一个项目，主要目标是在小数据规模下实现比 ES 更加快速和易用的搜索体验。 目前已支持中文分词。 MeiliSearch 支持的功能如下 开源 用户量(开源...

Nu 是个新型的 shell，通过下图可以看出，相比传统 shell，Nu 提供了更加详细且全面的信息，信息的呈现方式类似于直接在图形界面中所看到的，与 git log --oneline 有相...

StratoVirt 是计算产业中面向云数据中心的企业级虚拟化平台，实现了一套架构统一支持虚拟机、容器、Serverless 三种场景。StratoVirt 在轻量低噪、软硬协同、Rust 语言...

Occlum 是用于 Intel SGX 的内存安全的多进程库 OS（LibOS）。作为 LibOS，它可以使旧版应用程序在 SGX 上运行，而几乎不需要修改源代码，从而透明地保护了用户工作负载...

Inko 是一门静态类型、安全、为了编写并发程序的面向对象语言。采用轻量级的线程隔离，因此不会出现数据竞争，它的语法易学易记，由于它的错误处理模型，您将不必担心意外的运行时错误。 特征 静态类型...

Hagrid 是一个被验证的 OpenPGP 公钥服务器，为了推迟对 Nginx 和 Apache 等反向代理服务器的查找。 通过 /vks/v1/by-finingerprint、/vks/v...

Rezolus 是用于收集详细系统性能遥测和通过高分辨率遥测技术捕获突发情况的工具。Rezolus 提供基本系统指标、性能计数器和对 eBPF（扩展 Berkeley 数据包过滤器）遥测的支持。...