jupyter-server-terminals (pypi): A Jupyter Server Extension Providing Terminals.
Keywords: ipython|jupyter