Analyze Rust crates without touching compiler internals

A verification toolchain for Rust programs

A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.

The registry for Rust crates

Lean tokio-based Postgres wire-protocol logical replication client (pgoutput) with TLS and SCRAM.

CRDT implementation which is compatible with https://github.com/yjs/yjs

A heap memory profiler for Linux

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

Add hardship to your tests

An async ORM for Rust

A proc macro for asserting on the structure of Rust values.

A thread-per-core async Rust runtime with IOCP/io_uring/polling.

cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…

The `io_uring` library for Rust (with Rustix)

Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed

A thread-per-core Linux io_uring async runtime for Rust optimized for latency.

Storage Performance Development Kit

Kernel-Bypass LibOS Architecture

Data Plane Development Kit

High performance server-side application framework

Rust async runtime based on io-uring.

Intrusive collections for Rust

Library providing helpers for the Linux kernel io_uring support

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Reticulum Networking Stack implementation written in Rust

Reticulum Networking Stack implementation written in Rust

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.

Foundry toolchain manager

Benchmark suite for smart-contract fuzzers