1pub mod chat;
2pub mod compartmentalized_paxos;
3pub mod compute_pi;
4pub mod echo_server;
5pub mod kv_replica;
6pub mod many_to_many;
7pub mod map_reduce;
8pub mod paxos;
9pub mod paxos_bench;
10pub mod paxos_with_client;
11pub mod simple_cluster;
12pub mod two_pc;