12 Forks
106 Stars
106 Watchers

toychain

A minimalistic blockchain consensus implemented and verified in Coq

How to download and setup toychain

Open terminal and run command
git clone https://github.com/verse-lab/toychain.git
git clone is used to create a copy or clone of toychain 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 toychain https://github.com/verse-lab/toychain/archive/master.zip

Or simply clone toychain with SSH
[email protected]:verse-lab/toychain.git

If you have some problems with toychain

You may open issue on toychain support forum (system) here: https://github.com/verse-lab/toychain/issues

Similar to toychain repositories

Here you may see toychain alternatives and analogs

 etcd    nsq    Qix    dubbo    incubator-mxnet    tikv    hraftd    diplomat    js    elasticell    olric    translations    scalecube-services    finagle    neutrino    nanochain    mgmt    burry.sh    gosiris    dbtester    bit    rqlite    atomix    copycat    raft-rs    PySyncObj    floyd    raft    ra    x0