20062009/magma2020 repository overview

Currently, this repository is awaiting its first push. The detailed overview will become available post the initial content push by the repository owner.