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).
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).
yaspi (Yosi's Anti-Spam POP3 fIlter bot) is a POP3 mail-scanner specifically made to combat mail bombings caused by viruses (i.e. Swen). It connects to the POP3 server, inspects the messages, and deletes the infected ones without ever downloading them. Its most interesting feature is that it can automatically send abuse reports to the ISPs from which the infected mails originated.
Cache 901 is an advanced paperless geocaching program, allowing easy maintenance of a large number of caches locally. It is especially designed to work well on netbooks, allowing them to be taken on the trail and provide any assistance that can be gotten from the data you store. This can include advanced searching capabilities, logs, photos, and personal notes for any cache.
IDAutomation PDF417 Font and Encoder includes multiple encoder components for the generation and integration of PDF417 barcode symbols. It provides font encoders and graphic encoders. Font encoders return a text string that create the PDF417 barcode symbol when printed or displayed with the PDF417 font. Graphic encoders simply return a graphic image of the symbol. Encoders provided include a .NET DLL, a Forms Control, an ASP.NET Web component, an ActiveX DLL, a Crystal Reports UFL, a Java class library, a Java servlet, a native VB module, and the native Crystal Reports formula.