bft-crdts

Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms

Stars

Ecosystems: Rust

Statistics for this project are still being loaded, please check back later.

Material I come across which is beneficial in reading through to learn the language

An interpreter for Rust's mid-level intermediate representation

A model checker for implementing distributed systems.

a collection of well-tested, serializable CRDTs for Rust

Subotai, a Kademlia based Distributed Hash Table in Rust

A Rust implementation of Cyphal

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

Raft distributed consensus algorithm implemented in Rust.

The Rust Implementation of the libp2p networking stack.