GitHub repository: Erwin-Yu/Reliable-Distributed-System
Description: CMU 18-794 project