GitHub repository: see7e/magma-documentation
Primary language: JavaScript
Description: A standalone home for work on documentation for Magma, in order to make check-ins less work