Google and Raspberry Pi have created an open-source educational programming platform called Coder.  Students can learn and create new app and host them all on their Raspberry Pi.  A great thing about Coder it is designed to work along side programming sites like Codeacademy.

Click to download Coder.  The video below gives you a 1 minute explanation of Coder