jupyter-server-ydoc (pypi): A Jupyter Server Extension Providing Y Documents.
Keywords: ipython|jupyter