search

jupyterlab / jupyter-collaboration

A Jupyter Server Extension Providing Support for Y Documents
https://jupyterlab-realtime-collaboration.readthedocs.io/en/latest/
Other
140 stars 29 forks source link

Update pycrdt-websocket v0.13.0 #293

Closed davidbrochart closed 2 months ago

github-actions[bot] commented 2 months ago

Binder :point_left: Launch a Binder on branch _davidbrochart/jupytercollaboration/pycrdt-websocket-0.13