Integrate Kwarc tools with GitLab
GitLab is a major open-source locally-installable GitHub-style git repository manager. The Kwarc uses it as the backend of our MathHub system. See https://gl.mathhub.info/users/sign_in.
GitLab is mostly monolithic, but like any open-source toll it must offer some interface to customize it. In this project, a student
- peruses GitLab for such options
- identifies potential for integrating Kwarc knowledge management solutions with it
- designs and implements these integrations
Examples and starting points:
- GitLab uses some general purpose syntax highlighting framework. But currently our .mmt files are rendered as plain text. Find out which framework GitLab uses, write a syntax highlighter for .mmt files in it, and configure GitLab to use it.
- GitLab provides a very simple plugin interface for event handling. Write an even handler that scans every new issue for special annotations that tie individual issues to MMT URIs. Then customize MMT-based tools to display links to these issues, e.g., jEdit can display button whenever an issue for a declaration exists.