Derecho

An open-source C++ distributed computing toolkit that provides strong forms of distributed coordination and consistency at RDMA speeds.