GitHub repository: openminted/alvis-docker
Primary language: Shell
Description: Dockerizing Alvis and its components