I was trying to find the Arduino Standard Libraries. Where are they?

Greetings,

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).

Thank you!

Which platform (AVR, STM32, ESP32 etc.) are you planning to use?

Do you plan to modify the Arduino Core? Or what’s the reason you want to setup your own repository instead of letting PlatformIO do the work?