Skip to content

@Derecho-Project Derecho

Change the repository type filter

All

    Repositories list

    17 repositories

    • derecho

      Public
      The main code repository for the Derecho project.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •50•197•36•1•Updated Jul 30, 2025Jul 30, 2025

    • cascade

      Public
      A C++ distributed framework for responsive Cloud applications.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •26•79•5•2•Updated Jul 16, 2025Jul 16, 2025

    • vortex

      Public
      C++
      •7•3•0•1•Updated Jun 6, 2025Jun 6, 2025

    • cascade-cbdc

      Public
      A Central Bank Digital Coin (CBDC) built on top of Cascade
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •1•3•0•1•Updated May 26, 2025May 26, 2025

    • python-udl-interface

      Public
      C++
      •
      MIT License
      •0•0•3•0•Updated May 19, 2025May 19, 2025

    • dccl

      Public
      Derecho Collective Communication Library
      C++
      •0•7•1•0•Updated Apr 14, 2024Apr 14, 2024

    • libfabric

      Public
      Open Fabric Interfaces for DPDK
      C
      •
      Other
      •426•0•0•0•Updated Mar 4, 2024Mar 4, 2024

    • SmartManufacture

      Public
      Python
      •0•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • mutils-serialization

      Public
      For converting basic objects to arrays of bytes, and vice-versa.
      C++
      •
      GNU Lesser General Public License v3.0
      •5•0•0•0•Updated Mar 19, 2023Mar 19, 2023

    • derecho-project.github.io

      Public
      Source code for the GitHub Organization Page
      SCSS
      •2•0•0•0•Updated Jun 20, 2022Jun 20, 2022

    • SST-in-Coq

      Public
      Initial efforts to verify monotonic use of the SST in Coq
      C
      •0•0•0•0•Updated Sep 29, 2020Sep 29, 2020

    • derecho-docker

      Public
      Docker containers for the Derecho project: https://github.com/Derecho-Project/dericho-unified
      Shell
      •3•3•0•0•Updated Aug 11, 2020Aug 11, 2020

    • packaging-derecho

      Public
      Packages for derecho installation. EXPERIMENTAL.
      C++
      •0•0•0•0•Updated Feb 25, 2020Feb 25, 2020

    • sospdemo

      Public
      Demo for Derecho tutorial @SOSP2019
      C++
      •0•0•0•0•Updated Nov 1, 2019Nov 1, 2019

    • ivy

      Public
      Derecho view change protocol specification in the Microsoft-IVy language
      1•0•0•0•Updated Jul 8, 2019Jul 8, 2019

    • zerocopy-serialization

      Public
      Better serialization, in the mold of protobufs/capnproto
      C++
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated May 22, 2019May 22, 2019

    • blog

      Public
      Latest updates of Derecho project
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 13, 2018Nov 13, 2018