A C++ distributed framework for responsive Cloud applications.
The main code repository for the Derecho project.
Source code for the GitHub Organization Page
Initial efforts to verify monotonic use of the SST in Coq
Docker containers for the Derecho project: https://github.com/Derecho-Project/dericho-unified
For converting basic objects to arrays of bytes, and vice-versa.
Packages for derecho installation. EXPERIMENTAL.
Demo for Derecho tutorial @SOSP2019
Derecho view change protocol specification in the Microsoft-IVy language
Better serialization, in the mold of protobufs/capnproto
Latest updates of Derecho project