0release is a program to generate source and binary releases automatically. With minimal configuration, 0release will generate a source tarball release candidate, build it to create a binary archive, upload them to your Web server, check the uploads, and tag the release in GIT and update the version number. It can run unit-tests and custom actions, such as building documentation, etc. For Zero Install users, it can also upload a signed XML metadata file about the release, allowing these users to upgrade automatically. Releases are signed with your GPG key.
123 Flash Chat Server is a full-featured chat server for high-load Web sites. It features a range of customization options, and can be smoothly integrated with the database of almost all leading CMS or forum systems including Joomla!, phpBB, skadate, and vBulletin. It includes plain text chat and video chat options, and is scalable enough to fit the needs of small business and large enterprises. A free 10-user edition is available. It's based on a Java server and a Flash client, but also has various alternative clients based on technologies such as HTML/AJAX, so it can run on many platforms, including iPhone and iPad. It features avatars, smilies, Flash emotions, voice messages, entering multiple rooms, dynamic skins, loading external avatars and profiles, and a media player. The HTML 5 client significantly improves the chat performance in terms of loading speed, video layout, and user interface.
123 Web Messenger can add a Facebook-like messenger bar to the bottom of the browser window of a visitor to your Web site, keeping your visitors active and connected. It offers both Web-based IM and an optional desktop IM application. 123 Web Messenger supports text and video chat options. The Web-based IM includes an invitation button in the user list page to initiate a one-to-one private chat.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
The aim of ADF MAGE-ML Tool is to provide a module for converting ADF files (a tab delimited file representing microarray design layout) into MAGE-ML format, and for generating an ADF from an array design described in MAGE-ML format. The module is build upon the ADF specifications and using MAGE-Stk APIs (Java). MIAME-compliance checking, a logging system, and integration of LifeScience Identifier (LSID) specifications are key components of the module. The module can be used via the command line or a graphical user interface.
AZStats is a JSP file that parses and displays the contents of an Azureus stats file (typically Azureus_Stats.xml). The JSP is totally self-contained. No additional files/classes are needed. Just drop the JSP into a JSP/servlet engine and edit the JSP so that it points to your Azureus_Stats.xml file (either locally or via http://), and it will display the contents in a readable format.