GitHub repository: vortexntnu/manta_dev
Description: This repository is meant to collect and keep track of the different repositories that exist for Manta.