In theory, using MicroPython on the ESP32 is easy — just flash an image ... help you and one we recently noticed was MPY-Jama. The IDE provides source code editing, of course.
The esp32-hal-ledc.* files provide helper functions to set up the hardware PWM generator, and with these libraries, getting a 16-bit LED fade in straight C or “Arduino” is easy. But our sights ...