[jaustin]

The Micro:bit Educational Foundation do it for https://python.microbit.org/ where the scope is conveniently limited (to MicroPython running on a device with finite flash/RAM)

https://github.com/microbit-foundation/pyright (and more specifically https://github.com/microbit-foundation/pyright/blob/microbit... )

[tlarkworthy]

Oh wow, their pyright-browswr package is very nice, the writeup works well!