rust

Kani Rust Verifier

A cloud native embedded storage engine built on object storage.

AWS SDK for the Rust Programming Language

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

Drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Hayabusa (隼) is a sigma-based threat hunting and fast forensics timeline generator for Windows event logs.

A cross-platform TUI database management tool written in Rust

Upgrade everything

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Validate and Run GitHub Actions locally.

A native Rust library for Delta Lake, with bindings into Python

A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

A Rust framework for building Minecraft servers.

Terminal image viewer with native support for iTerm and Kitty

The software powering Stoat

LakeSoul is an end-to-end, realtime cloud-native Lakehouse framework for fast data ingestion, concurrent updates, incremental analytics, multimodal data processing and vector search — powering next-generation BI and AI workloads.

A next-generation test runner for Rust.

Cloud native secrets management for developers - never leave your command line for secrets.

Hold a key, speak, release — AI-polished text appears at your cursor in any app. Open-source voice input for macOS & Windows. (按住快捷键说话，松开即得润色后的文字)

💎多语言实现，高性能生成唯一数字ID。 💎优化的雪花算法（SnowFlake）——雪花漂移算法，在缩短ID长度的同时，具备极高瞬时并发处理能力（50W/0.1s）。 💎原生支持 C#/Java/Go/Rust/C/JavaScript/TypeScript/Python/Pascal 多语言，提供其它适用于其它语言的多线程安全调用动态库（FFI）。💎支持容器环境自动扩容（自动注册 WorkerId ），单机或分布式唯一IdGenerator。💎顶尖优化，超强效能。