David Brochart

### Problem Pycrdt has a Python layer on top of the bindings to Yrs, that could run faster if compiled. ### Proposed Solution Mypyc or Cython could be used to...

Use pycrdt's typed containers

2

This uses the new "typed containers" in `pycrdt`: - [TypedDoc](https://jupyter-server.github.io/pycrdt/api_reference/#pycrdt.TypedDoc) - [TypedArray](https://jupyter-server.github.io/pycrdt/api_reference/#pycrdt.TypedArray) - [TypedMap](https://jupyter-server.github.io/pycrdt/api_reference/#pycrdt.TypedMap) They allow to add [type annotations](https://jupyter-server.github.io/pycrdt/usage/#type-annotations) to a shared document, that can be used for static...

Thanks for this great library! In #1063 I noticed that more async functionalities have been added, and I was wondering if now would not be a good time to switch...

## Changes Fixes #. ## Checklist If this is a user-facing code change, like a bugfix or a new feature, please ensure that you've fulfilled the following conditions (where applicable):...

### Things to check first - [x] I have searched the existing issues and didn't find my feature already requested there ### Feature description When using [debugpy](https://github.com/microsoft/debugpy) to debug a...

Cannot find "active_app"

7

While running a Textual app with its `run_async()` method, I get this message in the Textual console: ``` Task exception was never retrieved future: Traceback (most recent call last): File...

Add async test client

7

# Summary This PR adds `AsyncTestClient`, an async equivalent of [TestClient](https://github.com/encode/starlette/blob/135e3af00a507714a4e391ab8d11b835399aa1a4/starlette/testclient.py#L360). The `TestClient` runs in a background thread in order to let the application run in the main thread, while...

Make jupyterlab_server optional

4

### Problem JupyterLab currently depends on [jupyterlab server](https://github.com/jupyterlab/jupyterlab_server). For alternative servers to the JupyterLab frontend, such as [jupyverse](https://github.com/jupyter-server/jupyverse), this dependency is really not necessary, and makes the installation more problematic....