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

Kani Rust Verifier

A Rust verification tool

An implementation of Messaging Layer Security (RFC 9420)

A library for building fast, reliable and evolvable network services.

Code for our 2024 ACM AsiaCCS Paper "Who's Breaking the Rules? Studying Conformance to the HTTP Specifications and its Security Impact"

A raw implementation of Interoperable Private Attribution

Rust implementation of the Matter protocol. Status: Experimental

Audited & minimal JS implementation of hash functions, MACs and KDFs.

A simple tool to convert project code to a highlighted pdf file.

Protege Desktop

Maintainable configuration files, for Rust users

🔥 Time Travel Visual Debugger for Rust

🚂 🦀 The one-person framework for Rust for side-projects and startups

framework for composable networking services

Tests for HTTP Caches

The IETF I-D documents for the qlog format

An elisp package manager

An innovative superfamily of fonts for code

A cross-platform, safe, pure-Rust graphics API.

A multiplatform unofficial client for Fox go server (foxwq)

OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)  🇺🇦

Automatic HTTPS certificates for trillium.rs, via Let's Encrypt and ACME tls-alpn-01 challenges

the most goated babel plugin

A lightweight ORM library for Rust ⛵

Playwright port to Rust

A probabalistic ML tool for science

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.