824 Open source projects that are alternatives of or similar to Verdi Raft

Distributed reliable key-value store for the most critical data of a distributed system

A reference use of Hashicorp's Raft implementation

Pure rust building block for distributed systems

A simple database based on raft and rocksdb

Python implementation of the Raft algorithm for distributed consensus

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Apache ZooKeeper

Distributed chat system built with rust

Replicated key-value store driven by the raft consensus protocol 🚵

Elastic Key-Value Storage With Strong Consistency and Reliability

A framework for formally verifying distributed systems implementations in Coq

A novel implementation of the Raft consensus algorithm

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol

Distributed transactional key-value database, originally created to complement TiDB

The lightest distributed consensus library. Run your own replicated state machine! ❤️

Coolbeans is a distributed work queue that implements the beanstalkd protocol.

Dragonboat is a high performance multi-group Raft consensus library in pure Go.

Raft Consensus Algorithm

C++ implementation of Raft core logic as a replication library

The lightweight, distributed relational database built on SQLite

A reactive Java framework for building fault-tolerant distributed systems

Badger-based backend for Hashicorp's raft package

🔥 Golang basics and actual-combat (including: crawler, distributed-systems, data-analysis, redis, etcd, raft, crontab-task)

A pluggable implementation of the Egalitarian Paxos Consensus Protocol

FISCO BCOS是由微众牵头的金链盟主导研发、对外开源、安全可控的企业级金融区块链底层技术平台。 单链配置下，性能TPS可达万级。提供群组架构、并行计算、分布式存储、可插拔的共识机制、隐私保护算法、支持全链路国密算法等诸多特性。 经过多个机构、多个应用，长时间在生产环境中的实践检验，具备金融级的高性能、高可用性及高安全性。FISCO BCOS is a secure and reliable financial-grade open-source blockchain platform. The platform provides rich features including group architecture, cross-chain communication protoc…

4 labs + 2 challenges + 4 docs

🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotlin.

Distributed KV Streams

A raft consensus implementation that is simply and understandable

raft is a golang library that provides a simple, clean, and idiomatic implementation of the Raft consensus protocol

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

Distributed, fault-tolerant key-value storage written in go.

JavaScript implementation of SWIM membership protocol

Raft distributed consensus algorithm implemented in Rust.

A programmable, observable and distributed job orchestration system.

MIT6.824实现分布式一致性算法——Raft&Paxos

Language-Natural Persistence Layer for Java

A HTTP Ruby API for Consul

⟁ Tendermint Core (BFT Consensus) in Go

An Elixir implementation of the raft consensus protocol

An implementation of the Raft distributed consensus protocol using the Tokio framework.

Coq formalizations of functional languages.

A Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.

🐼 Chinese translations for classic IT resources

my blog, using markdown

Clojure host/server for Tendermint's ABCI protocol.

A distributed MySQL binlog storage system built on Raft

A library for replicating your python class between multiple servers, based on raft protocol

A curated list to learn about distributed systems

Formalisation of the linear lambda calculus in Coq

Xzero HTTP Application Server

Yet another distributed kvstore support redis data and index. moved to: https://github.com/youzan/ZanRedisDB

Trepang is an implementation of Raft Algorithm in Go

MIT 6.824 2018 lab. MIT6.824分布式系统（2018秋）

xnnyygn's raft implementation

利用 Go 语言实现多种分布式算法

Intermediate Memory Model (IMM) and compilation correctness proofs for it

Open source Java implementation for Raft consensus protocol.

consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implementation of the Raft protocol.