girder-jupyter (pypi): A jupyter content manager for Girder
Keywords: jupyter|girder|data|management|jupyter-extension