Pymcu and etc programmer

http://www.pymcu.com/overview.html

http://www.parallella.org/

Raspberry Pi Alternatives

A Comprehensive Comparison of Linux Development Boards

Cubieboard - 1G ARM cortex-A8 processor
BeagleBone
Odroid OpenExinos
Parallella
UDOO - Arduino DUE Shields Compatible. Double processor ARM i.MX6 CPU Quad/Dual core 1GHz + ARM SAM3X8E Atmel
pcDuino - pcDuino is a mini PC platform that runs PC like OS such as Ubuntu and Android ICS. It outputs screen to HDMI. Moreover, it has hardware headers interface compatible with Arduino. pcDuino can be used to teach Python, C and more interesting stuff.