Euler Yet another proof Engine
This is an app that will help you learn and prosper in any subject!
Syllog is a system for teaching logic, with anonymous answer logging
An interactive tool to test logical structures and expressions
Virtual Machine Image To Test Penetration Skills
User training module, with definable questions and answers
A webapp that collects and grades student labs
Project of Adaptative Languages "PLAtypus"