avrdude can be used to program Arduino boards from a Raspberry Pi.
Resources
https://github.com/kcuzner/avrdude
http://kevincuzner.com/2013/05/27/raspberry-pi-as-an-avr-programmer/
This guide for the AlaMode board details setting up the RPi to program the AlaMode Arduino compatible board via the IO pins: