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).
Nuts & Scrap is a platform arcade game with some touches of a graphical adventure title. It features two fearless robots whose mission is to save the human race, which is endangered by an evil doctor trying to take over the world. The game sports fun 3D pre-rendered graphics and a spectacular sound track. It has won a prize from the "Art Futura & Sony Playstation" game development contests.
LinCE is a programming environment that is simple, pluggable, multiplatform, and multilanguage. LinCE allows you to create and load Ant projects, compile them, and browse errors line by line. It also allows you to execute PMD on Java projects. PMD is a tool that statically checks Java code, looking for potential problems. LinCE generates configuration GUIs from configuration Java objects. It has Apache Ant scripts for plugin development. LinCE provides technical documentation in Spanish.
PDU/ASCII conversion functions convert between an ISO-8859-1 ASCII string and a PDU-encoded array of bytes as described in ETSI GSM 03.38 and ETSI GSM 03.40. A PDU-encoded message is necessary for sending an SMS using a cell phone that does not support plain ASCII mode (like most phones from Ericsson).
dummzeuch chart is a set of components for Delph 7 (VCL) and Kylix 3 (CLX) that can draw two dimensional charts using different formats for lines and points. It automatically scales the axes. It can also draw a bar chart. The number of data series containing the values is virtually unlimited. A special chart type called ctAlternateLine allows lines which span from -infinity to +infinity.