QDS is a library for Qt developers which provides cross-platform access to additional features of the various desktop APIs. The main goal is to require only minor changes to Qt applications by providing alternative implementations of Qt classes where possible. An application using QDS does not have compile-time dependencies on the desktop APIs and no run-time dependencies on the Unix and Linux desktop APIs.
Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).
K3DSurf is a program for visualizing and manipulating multidimensional surfaces by using Mathematical equations. It's also a "modeler" for POV-Ray in the area of parametric surfaces. It features 3D, 4D, 5D, and 6D HyperObjects visualization, full support for all functions (like the C language), support for mouse events in the drawing area, animation and morph effects, Povscript and mesh file generation, and support for VRML2 and OBJ files. More than 100 examples are provided.
The Head-Tracking Pointer provides an inexpensive and easily-used mouse replacement for those unable to use traditional pointing devices. Using only software and any Web-cam, this application allows users to point and click with character-level accuracy by simply aiming their face. Unlike other head-tracking solutions, the Head-Tracking Pointer does not require special-purpose hardware, head gear, or tracking aids such as retro-reflective dots.
Navlet is a navigation system for mobile devices such as PDAs, smart phones, and cell phones. It retrieves positioning data from any NMEA capable GPS receiver and displays the position on a digital map. External GPS receivers can be connected via a serial cable or Bluetooth. If your mobile device is connected to the Internet, it can download maps from a map server, or alternative use locally stored maps. It is also able to send the GPS data to a server via an HTTP connection.