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