python-editor-v3 VS pxt

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

This is a new version of the micro:bit Python Editor designed to engage students learning text-based coding.

The goal is not to hide all the complexities of syntax and structure, but to support students in learning about these things.

There's a simulator so you can try your code without the micro:bit.

Source code here: https://github.com/microbit-foundation/python-editor-v3

Just to add to this—the reason I find Static TypeScript particularly interesting is that it is a Microsoft project:

https://github.com/microsoft/pxt/tree/master/pxtcompiler

Compiling TypeScript to other targets is a significant challenge, so I think that in order for a project to become a viable alternative, it will need the resources of a big company like MS behind it. However, I'm not sure if MS or any other company currently has a great incentive to invest heavily in that. Running TypeScript on Node or Deno is good enough for most applications, and for apps that require better performance, MS already has C#, which was architected from the start to be performant (for example, allowing apps to use just value types / structs so that the GC isn't used).