Derecho

Derecho's repositories

The main code repository for the Derecho project.

Language:C++BSD-3-Clause181 21 189

A C++ distributed framework for responsive Cloud applications.

Language:C++BSD-3-Clause63 10 16

Derecho Collective Communication Library

Language:C++600

Docker containers for the Derecho project: https://github.com/Derecho-Project/dericho-unified

Language:Shell300

Better serialization, in the mold of protobufs/capnproto

Language:C++GPL-3.0200

Latest updates of Derecho project

BSD-3-Clause000

Source code for the GitHub Organization Page

Language:SCSS000

Derecho view change protocol specification in the Microsoft-IVy language

060

For converting basic objects to arrays of bytes, and vice-versa.

Language:C++LGPL-3.0000

Packages for derecho installation. EXPERIMENTAL.

Language:C++000

Demo for Derecho tutorial @SOSP2019

Language:C++000

Initial efforts to verify monotonic use of the SST in Coq

Language:C000

Open Fabric Interfaces for DPDK

NOASSERTION000