https://tinygo.org/docs/reference/microcontrollers/
A few ESP32s on there.
Reply on news.ycombinator.com