GitHub repository: william-redenbaugh/arduino-esp32-fw
Description: Arduino core for the ESP32