property testing and verification front-end for Rust

Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits

Zstandard - Fast real-time compression algorithm

Allocation-free data structures that make do with the memory they're given

Internet-Drafts that make up the base QUIC specification

QUIC interop runner

Kernel-Bypass LibOS Architecture

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Oso is a batteries-included framework for building authorization in your application.

A blazingly fast drop-in replacement for the Mastodon streaming API server

Platform-Agnostic Security Tokens

📈 benchmarking different ways to concatenate strings in rust

A logical database management system for PostgreSQL enabling incremental database deployment.

Named arguments for Rust

A macro impl and discussion about named & default args in Rust.

Analyzing Travis and Azure Pipelines logs to find encountered errors

Protocol buffer files for TiKV

TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at : https://www.pingcap.com/tidb-serverless/

The gRPC library for Rust built on C Core library and futures

Raft distributed consensus algorithm implemented in Rust.

Distributed transactional key-value database, originally created to complement TiDB

An attempt at saner Bash defaults

Managing Pull Requests and Issues For GitHub & GitHub Enterprise

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine