This includes the arduino examples, libraries, etc. This is a repository that includes all of these necessary files, which the compiler repository then includes as a submodule.

This is the minIni library ported for Arduino. The original minIni is below. minIni is a portable and configurable library for reading and writing ".INI" files. At just below 900 lines of commented ...

If you include a library file through the menu, and it’s not part of the core Arduino libraries, the IDE locates its source code and compiles and links it in to the core library for you.