Search Results for "php shell terminal"

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.

Language teaching/learning aid. Laid generates latex vocabulary lists, double side printed memorization cards from arbitarary utf8 encoded latex text. - latex based booklet generation - latex based vocabulary lists - latex based memorization cards

A BSD Ports-like package managing tool that inherits the UNIX philosophies. DIPMT is designed for high clarity, absolute irrestrictability and strong extensibility to provide simple mechanism while keeping as same ability of using sourcecode as possible.

Simple PHP compiler for a university subject.