search

jupyter-server / jupyter_server

The backend—i.e. core services, APIs, and REST endpoints—to Jupyter web applications.
https://jupyter-server.readthedocs.io
BSD 3-Clause "New" or "Revised" License
489 stars 308 forks source link

Add typings to commonly used APIs #1333

Closed blink1073 closed 1 year ago

blink1073 commented 1 year ago

I looked at which APIs were used by jupyterlab_server, notebook, and jupyterlab and this covers most of them.