This is a set of useful links to educational software/programming languages suitable for the R-pi. Originally from this thread on the Raspberry Pi forums.
- http://scratch.mit.edu/ - Graphical OO-based visual programming environment.
- http://www.alice.org/ - Similar to scratch AFAICT
- http://python.org/ - The original 'designed for teaching' language of the 90s
- http://lua.org/ - Small, extensible and fits in your head
- BBC BASIC - The original 'designed for teaching' language of the 80s
- http://www.pygame.org/ - Simple SDL wrapper for Python.
- http://docs.python.org/library/idle.html - The Python IDE that comes with Python.
- http://love2d.org/ - Something akin to pygame for Lua.
- http://www.cs4fn.org/ - Computer Science for fun
- http://computingatschool.org.uk/ - Computing at School Working Group
Articles/opinion pieces/trade bodies relating to education in the UK
- http://royalsociety.org/education/policy/computing-in-schools/ - The Royal Society's Computing in Schools project
- http://www.edutopia.org/programming-the-new-literacy - Programming is the new literacy
- http://bengoldacre.posterous.com/three-things-we-have-to-teach-in-schools - Ben Goldacre's list of "Three things we have to teach in schools"
- http://securiously.wordpress.com/2011/09/09/do-we-really-need-to-teach-our-kids-to-code/ - Teaching the skills associated with programming rather than programming as an aim in itself.
- http://epetitions.direct.gov.uk/petitions/15081 - A petition to the Department for Education about teaching programming in schools (UK only).