Truly independent web browser

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Spin-based synchronization primitives

Rust friendly bindings to *nix APIs

Unix API

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A BitTorrent V1 engine library for Rust (and currently Linux)

Async synchronization primitives

Blazing fast concurrent HashMap for Rust.

Unsafe marker trait for types that deref to a stable address

Async multi-producer multi-consumer channel

Portable interface to epoll, kqueue, event ports, and wepoll

Task abstraction for building executors

liburing bindings

Rust interface to io_uring

A stack for rust trait objects that minimizes allocations

🏡 Open source home automation that puts local control and privacy first.

A crate for managing memory bit by bit

Rust library that provides helpers for testing resilience of IO operations

Rust crate to use process file descriptors (pidfd) for Linux

home for proposals in and around compile-time function evaluation

Rust library for parsing ACPI tables and interpreting AML

l2 is a fast, Pytorch-style Tensor+Autograd library written in Rust

A rust library to parse the pci.ids data file.

Magical ELF and Mach-o object file writer backend

Cranelift based backend for rustc

Date and time library for Rust

The enum Either with variants Left and Right is a general purpose sum type with two cases.