jupyter-rospkg (pypi): A server extension for JupyterLab to handle ROS packages
Keywords: Jupyter|JupyterLab|JupyterLab3