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

Examples

Blinky

let LED1 = 2;
let on = 0;

const toggle = () => {
  on = !on;
  digitalWrite(LED1, on);
};

setInterval(toggle, 1000);