Project goal: add an integration layer between Automerge and client code, compatible with any Rust async runtime.
cargo run --example tcp-example --features="tokio" -- --tcp-run-ip 127.0.0.1:2345 --http-run-ip 0.0.0.0:3001
cargo run --example tcp-example --features="tokio" -- --other-ip 127.0.0.1:2345 --http-run-ip 0.0.0.0:3002
curl 0.0.0.0:3001/new_doc
curl --json '{document-id}' 0.0.0.0:3002/request_doc
(document id argument should look like'"f9b1a2c6-ca05-4fc7-a02f-7e3d83f1bb49"'
)An implementation of the distributed bakery algorithm, based on this TLA+ specification.
cargo run --release --example distributed-bakery --features="tokio" -- --bootstrap --customer-id "1"
cargo run --release --example distributed-bakery --features="tokio" -- --customer-id "2"
cargo run --release --example distributed-bakery --features="tokio" -- --customer-id "3"