Because everything is moving to a web app, [Vasilis Georgitzikis], a.k.a. [tzikis] developed codebender, a cloud-based Arduino IDE replete with built-in libraries, documentation, and the ability ...
The Galileo can be programmed with the standard Arduino IDE, but from the getting started guide, it looks like this board is running Yocto, a stripped down Linux for embedded environments.