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).
Cell Messenger is a program that sends, receives, and archives SMS messages from your mobile phone. It provides support for reading your mobile's phonebook, sending group messages, anti-spam SMS filtering, Unicode, and multipart SMS messages. It's also capable of reading a GSM phonebook into its own contact list.
SnackAmp is a multi-platform audio file and streaming music (MP3,Ogg, wav, etc.) player and file organizer suitable for very large music collections. Stand alone executables for Windows or Linux are available for download. An integrated Web server provides the ability to remote control the client and serve your music collection as streaming audio.
IPAcco is a software package that helps a network admin to collect, visualize, and analyze IP accounting data from the Cisco routers. It downloads IP accounting data from the router, stores it in the MySQL database, provides Web access to the collected data, presenting it in a convenient graphical form, and allows the user to specify various criteria for data selection.
Ellogon is a multi-lingual, cross-platform, general-purpose language engineering environment, developed in order to aid both researchers who are doing research in computational linguistics, as well as companies who produce and deliver language engineering systems. As a language engineering platform, it offers an extensive set of facilities, including tools for processing and visualising textual/HTML/XML data and associated linguistic information, support for lexical resources (like creating and embedding lexicons), tools for creating annotated corpora, accessing databases, comparing annotated data, or transforming linguistic information into vectors for use with various machine learning algorithms.
OpenSignature is a project for the digital signature of documents. It works with all cards supported by OpenSC, and focuses on adding support for cards from accredited Italian CAs. The goal is to provide the first single product capable of supporting cards from multiple vendors/countries. This contrasts the approach taken by card vendors/providers whose software follows an exclusive single-vendor approach. OpenSignature attempts to make a major contribution to interoperability in the digital signature domain, and aims to greatly facilitate the setup of public access points that are currently the objective of several projects in Italy.
Xdobry is a form-generator for relational databases. It is aimed at people who want to create forms to an existing database or migrate databases. MySQL, Postgresql, sqlite, ODBC (MS Access, MS SQL Server), and Oracle are supported. The system contains SchemaEditor, FormEditor (GUI Drag&Drop Editor), and FormServer. Xdobry offers functions to manipulate, import, and export database schema. Xdobry lets you browse your database like hypertext documents. Xdobry can migrate data between all supported databases.
xadsen is a monitor for Google Adsense that runs as a little window in your desktop (like xmem, xbiff, and so on). It will show the earning for today and yesterday, together with the percentage and number of clicks for the two days, this will allow you to stay informed about your earning without to have to log multiple times into your account.