The Micro:bit Educational Foundation do it for https://python.microbit.org/ https://python.microbit.org/ where the scope is conveniently limited (to MicroPython

The Micro:bit Educational Foundation do it for https://python.microbit.org/ 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 https://github.com/microbit-foundation/pyright (and more specifically https://github.com/microbit-foundation/pyright/blob/microbit/THIS_FORK.md https://github.com/microbit-foundation/pyright/blob/microbit... )