jupyter-ros-server (pypi): Jupyterlab server extension for ROS.
Keywords: jupyter|jupyterlab|ROS