High-level, safe, hot-reloading programming language for ESP32 microcontrollers.