Espruino

ESP32

https://www.espruino.com/ESP32

To build your own:

# Get the Espruino source code
git clone https://github.com/espruino/Espruino.git
cd Espruino

# Download and set up the toolchain ('source' is important here)
source scripts/provision.sh ESP32

# Clean and rebuild
make clean && BOARD=ESP32 make

Or just get the prebuilt binaries from https://www.espruino.com/binaries/espruino_2v03_esp32/

esptool.py    \
--chip esp32                                \
--port /dev/ttyUSB0                         \
--baud 460800                               \
--before default_reset                      \
--after hard_reset write_flash              \
-z                                          \
--flash_mode dio                            \
--flash_freq 80m                            \
--flash_size detect                         \
0x1000 bootloader.bin                       \
0x8000 partitions_espruino.bin              \
0x10000 espruino_2v03_esp32.bin