IsaViz is a visual environment for browsing and authoring Resource Description Framework (RDF) models represented as graphs. It features a 2.5D user interface allowing smooth zooming and navigation in the graph; creation and editing of graphs by drawing ellipses, boxes, and arcs; RDF/XML, Notation 3 and N-Triple export; and also SVG and PNG export.
TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.
ARIA is business class management (ERP) software. It lets you manage inventory levels, maintain payroll, and process orders. It is written primarily in PHP and incorporates the ADODB database abstraction layer. There are currently translations for Chinese, Spanish, Italian, and French.
Glt is a library of C++ classes and routines for programming interactive 3D graphics with OpenGL. The aim of Glt is to augment the OpenGL API with convenient mechanisms for manipulating the OpenGL state machine. Glt is a work in progress, and by no means covers the entire OpenGL specification. However, it already includes several useful classes and is designed so that additional classes can be added easily. In addition to Glt, the GlutMaster classes provide C++ wrappers for the GLUT API.