This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.
eDomus is an Electronic Document Management System with a multiplatform GUI interface built in wxPython. It allows to collect documents from single files, directories, scannerized documents (including OCR) and emails. Includes a php based web publisher