Extremely fast Query Engine for DataFrames, written in Rust

open source training courses about distributed database and distributed systems

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

A simple, high-throughput file client for mounting an Amazon S3 bucket as a local file system.

High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale

Visualize Ownership and Lifetimes in Rust

Techniques and numbers for estimating system's performance from first-principles

Kanidm: A simple, secure, and fast identity management platform

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

High-velocity, monorepo-scale workflow for Git

Deep learning at the speed of light.

A cloud native embedded storage engine built on object storage.

Verified Rust for low-level systems code

egg is a flexible, high-performance e-graph library

Learn Rust dark magics by implementing an expression framework in database systems

Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

Implementation of the Cedar Policy Language

The filesystem for agents.

An authorization library that supports access control models like ACL, RBAC, ABAC in Rust.

PyTorch Single Controller

Awesome Rust

egraphs + datalog!

Research prototype tool for modular formal verification of C, Rust and Java programs

Simple todo cli program written in rust

Guide and explanation of the Tracing crate, a Rust logging crate by Tokio.

Storage systems with verified correctness properties

Verus-verified implementation of Ironfleet Sharded Hash Table key-value store