A Free, complete, enterprise grade, open source exam management system
Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
Open-source automated grading of programming assignments
Exam & quiz web platform written as a CGI application
DOMjudge is an automated judge system for programming contests.