A logic IDE for the sentential logic and the predicate logic.
Sistem Informasi Adminstrasi
Supporting children learning to read
This is the Jeroo Open sourced project.
Guma: An application for elementary school math...
Sistema de Correção de Questões Discursivas
Rhymes is a Russian/Ukrainan rhymes finding program.
Operating System Image customization Tools For RaspberryPi
With Skills Evaluator you can easily evaluate employees / candidates.
SymSAP - A Symbolic Structural Analysis Program
Browser based flash cards
Collection of tools for enhanced usability with ILIAS
Open Library Mangement System