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.
Eleven is a programming language for creating robust, scalable web applications. It offers a 20x programmer productivity increase over ASP, JSP, etc. by automating state management and UI layout. The compiler generates ready-to-run PHP or mod_perl code.