Finding ownership bugs at scale.

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

Portable atomic types including support for 128-bit atomics, atomic float, etc.

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

A verification toolchain for Rust programs

Interface with the rustc compiler for the purpose of program verification

Refinement Types for Rust

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

A modern TLS library in Rust

Async TLS for the Tokio runtime

Truck is a Rust CAD Kernel.

Pure Rust implementation of JPEG XL decoder

Rust implementation of NearbyShare/QuickShare from Android for Linux and macOS.

Sampling profiler for Python programs

Visual Studio Code Server support in NixOS

Build fast web applications with Rust.

Develop using VSCode Remote-WSL environment with NixOS

A Bazel BEP visualizer written in Rust using Leptos

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

Api for SmartRent locks 🔐, thermostats 🌡, moisture sensors 💧 and switches💡

Home Assistant Custom Component for SmartRent Locks 🔐, Thermostats 🌡, Sensors 💧 and Switches💡

An experimental Rust native UI framework

Bindings to Apple frameworks in Rust

Rust / Wasm framework for creating reliable and efficient web applications

mold: A Modern Linker 🦠

Debug and visualize computational geometry problems

The mouse and trackpad utility for Mac.

Pure and reproducible nix overlay of binary distributed rust toolchains

libgccjit AOT codegen for rustc