Euler Yet another proof Engine
Python program that create a personalized study plan for your exams.
Syllog is a system for teaching logic, with anonymous answer logging
Live DVD with CORE network simulator
An interactive tool to test logical structures and expressions
Virtual Machine Image To Test Penetration Skills
User training module, with definable questions and answers
dAnalytics is a software made for education in discriminant analysis.
The Quiz of Country and Their Capital.
A webapp that collects and grades student labs
Libre software to help remember visual and verbal facts.
Project of Adaptative Languages "PLAtypus"