GitHub repository: FrankWang201811/arduino-esp32
Description: Arduino core for the ESP32