Google code for educators

http://code.google.com/edu/
http://www.google.com/educators/index.html
http://research.google.com/