GitHub repository: Derecho-Project/derecho-unified
Primary language: C++
Description: The main code repository for the Derecho project.