Euler Yet another proof Engine
Syllog is a system for teaching logic, with anonymous answer logging
Open-source automated grading of programming assignments
Kaldin | Open Source Web-based online examination software
Metatagging Editor for Learning Object Metadata (IEEE's LOM)
Database program for storing exam questions
Sistema de Correção de Questões Discursivas
Take exam using flashcard, multiple choice or fill in the blanks