Arduino core for the ESP32 family of SoCs - View it on GitHub