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.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.
ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.
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.