grader-labextension (pypi): Jupyterlab extension for using the grader service.
Keywords: Jupyter|JupyterLab|JupyterLab3|jupyterhub|jupyterlab-extension|nbgrader|python