HelenOS
Jakub Jermář made HelenOS as a student project at the University. A few years later worked on the HelenOS kernel group of students and some students are using it for self-education of programming until now. In 2011 the project HelenOS took part on Google Summer of Code.