I found this overview on the microblocks site linked by the parent comment: https://wiki.microblocks.fun/en/boards/supported. The list includes the micro:bit, which I can recommend from experience, but the rest also look like good choices.

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