GitHub repository: Derecho-Project/derecho-docker
Primary language: Shell
Description: Docker containers for the Derecho project:  https://github.com/Derecho-Project/dericho-unified