[Florin_Andrei]

gcc is used to program naked AVR chips directly. See avrdude.

But really, whatever language mutant they use for Arduino, it's very noob-friendly.