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/issuesSimilar 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