Tools for post-mortem debugging of the tokio runtime

Give a friend a quota-capped corner of your ZFS pool for raw encrypted backups, without giving them a shell

A macOS menu-bar app that dresses your windows in knitted borders.

IP-KVM on the ESP32-P4: HDMI capture, USB keyboard and mouse, and a browser console over HTTPS

Linux kernel with Multikernel support

A fast, concurrent DDSketch for relative-error quantiles.

Garmin application for ANT+ bike lights

Experimental preview. NOT FOR PRODUCTION USE.

Add hardship to your tests

rustic - fast, encrypted, and deduplicated backups powered by Rust

Zero-copy, content-addressed Rust build cache for Rust, C/C++ and more. No copies, no wasted disk

Navien NWP500 Water Heater integration for Home Assistant

Homeassistant custom component for monitoring Navien NWP500 water heaters

AI code reviewer that thinks like your team — built from your team's actual PR comment history

⚙️🦀 Build modular and scalable LLM Applications in Rust

Optimize prompts, code, and more with AI-powered Reflective Optimization

New PortMaster repo

Library for bringing distributed capabilities to Apache DataFusion

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Auto-configure CFS and process priorities for improved desktop responsiveness

Voron 2 CoreXY 3D Printer design

NPM library to get Amtrak tracking data.

TemperPaw — Agent daemon built on Temper platform

Lean theorem proving interface which feels like pen-and-paper proofs.

Property-based testing for Rust, built on Hypothesis

A machine tool for agents: a verified runtime for systems agents build.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Local web UI for code review

Latency Tester for Apache Cassandra and ScyllaDB