Arrival
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
How to download and setup Arrival
Open terminal and run command
git clone https://github.com/VadimPlh/Arrival.git
git clone is used to create a copy or clone of Arrival 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 Arrival https://github.com/VadimPlh/Arrival/archive/master.zip
Or simply clone Arrival with SSH
[email protected]:VadimPlh/Arrival.git
If you have some problems with Arrival
You may open issue on Arrival support forum (system) here: https://github.com/VadimPlh/Arrival/issuesSimilar to Arrival repositories
Here you may see Arrival alternatives and analogs
etcd nsq Qix dubbo incubator-mxnet hraftd diplomat js elasticell olric translations scalecube-services finagle neutrino mgmt burry.sh gosiris dbtester bit rqlite atomix copycat raft-rs PySyncObj raft ra verdi-raft lagom tendermint awesome-distributed-systems