I wish to use VSCode and PlatformIO for Arduino development. I don’t want to install the Arduino IDE; because I don’t like where the core libraries are stored.
I would prefer to retrieve these libraries from GitHub to a local location of my choice.
Can someone tell me where I find the libraries? I see Arduino in GitHub (https://github.com/arduino ) but don’t know which repository has the core with files such as (Arduino.h).