You can also use the Arduino hardware without their IDE or libraries. You just need avr-gcc, avr-libc and a makefile. The AVR microcontrollers are very easy to program. The Arduino libraries really just get in the way once you need to do anything with timers.