Empowering everyone to build reliable and efficient software.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

A markup-based typesetting system that is powerful and easy to learn.

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

Anki is a smart spaced repetition flashcard program

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Rayon: A data parallelism library for Rust

Tools for concurrent programming in Rust

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Zero-cost asynchronous programming in Rust

The Rust Implementation of the libp2p networking stack.

An RPC framework for Rust with a focus on ease of use.

zkSync era

The Parity Polkadot Blockchain SDK

Concurrency permutation testing tool for Rust.

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Add hardship to your tests

Magical Deterministic Simulator for distributed systems in Rust.

Reference node for CASPER protocol

The labs of Raft consensus algorithm based on MadSim.

Implementation of BFT consensus protocols based on the Narwhal mempool.

Framework for simulating distributed applications

Rust node framework for building distributed systems for learning for https://github.com/jepsen-io/maelstrom / fly.io

PirateShip Consensus protocol Rust Prototype.