Empowering everyone to build reliable and efficient software.

Lightweight coding agent that runs in your terminal

Secure and fast microVMs for serverless computing.

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

Terminal bandwidth utilization tool

A Rust port of shadowsocks

Zero-cost asynchronous programming in Rust

A small and fast async runtime for Rust

Lucet, the Sandboxing WebAssembly Compiler.

🐇 Fuzzing Rust code with American Fuzzy Lop

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

🧑‍🔬 Operating system

An Erlang VM implementation in Rust

I/O primitives and event loop for async I/O in Rust

Protocol implementation experimentations

A high-level language for Rust

Web service to map IP addresses to AS information, using iptoasn.com

Pure-Rust traits and utilities for constant-time cryptographic implementations.

Inference server benchmarking tool

An implementation of TLS/SSL streams for Tokio

A file abstraction system for Rust

Ludum Dare 48 compo entry

A router for Rust's hyper framework using regular expressions

CLOCK-Pro cache replacement algorithm for Rust

sorear's Metamath system engine - version 3 Rust