GitHub repository: metaborg/doc
Description: Documentation for metaborg projects