A collection of machine-checkend mathematical proofs
A system for computer algebra and symbolic mathematics
Autobackuper files when you turn off your PC
Cloud storage class, open source software.
Online Examination System [Multiple Choice]
An Offline Portable Bible
Human-like mouse movements
A school management system for keeping students records
Interpedia VLMS (Virtual Lab Management System)
System to support students doing team projects