verdi-raft

raft consensus distributed-systems key-value

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

How to download and setup verdi-raft

Open terminal and run command

git clone https://github.com/uwplse/verdi-raft.git

git clone is used to create a copy or clone of verdi-raft repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with verdi-raft https://github.com/uwplse/verdi-raft/archive/master.zip

Or simply clone verdi-raft with SSH

[email protected]:uwplse/verdi-raft.git

If you have some problems with verdi-raft

You may open issue on verdi-raft support forum (system) here: https://github.com/uwplse/verdi-raft/issues

Similar to verdi-raft repositories

Here you may see verdi-raft alternatives and analogs

etcd nsq Qix dubbo incubator-mxnet bolt arangodb badger tikv dynomite buntdb EGOCache nuster ardb PumpkinDB unqlite histore keyv hraftd xodus github-ds redislite EasyFlash pogreb infinit diplomat hashmap RAMCloud js elasticell