In case you missed it, the big news is that a minimal Arduino core is up and working on the ESP32. There’s still lots left to do, but the core functionality — GPIO, UART, SPI, I2C, and WiFi ...

To achieve this he created Fade, a custom programming language/framework for controlling LED animations from the ESP32. Fade is written for addressable RGB LEDs like the Neopixel/WS2812.