Comment by alan_russell

It supports most of the ESP32 series boards, which are very cheap and powerful. For beginners, microbit is probably the best choice.