GitHub repository: r2e-project/r2e-docker-setup
Primary language: Python
Description: Installation scripts for repositories