if one searches for "k-12 open source" on google this resource site comes up 3rd on the list. it's a relatively new (this year) effort that came out of necc 2006 which was held in july.
i came across it when touching base with the fellow in this article who specializes in bringing open source into the classroom.
if you go to www.k12opensource.com and click on programs you will notice that there are a number of categories but very, very few entries.
seeing as the site is pretty easy to stumble across via google it would be nice to see it populated with the appropriate open source software, especially the wonderful educational software that comes out of the kde project.
a nice mini-project for some one(s) with a few hours here or there. =)