19 September 2010
19 Sep 17:59
Hilbert II 0.03.12
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Release Notes: A new about dialog that shows the system properties (they can also be copied into the clipboard). Warnings are now supported: LaTeX generation problems lead to warnings. The locations for LaTeX parsing problems are now precisely given. Proxy settings can now be done in the new designed preferences dialog. Uniqueness of class definition and identity operator definition is now checked. The LaTeX output for modules contains extra printed (\tt) QEDEQ references in clear text, so module authors can easily reference that node. The first pages of a new online help system are working.
19 Sep 17:57
Eye Alpha 4
Eye is an experimental OCR application incorporating innovative recognition algorithms.
Release Notes: User-made recognizers can now be stored in a file, so retraining fonts in every session is no longer necessary. Eye now recognizes punctuation and upper and lower case characters.
19 Sep 17:00
BikeRoute 1047 OpenStreetMaps Version
BikeRoute is an Android application providing GPS-based route planning and cycle parking location worldwide. (Google cycle directions in the US, CycleStreet directions in the UK, and Google driving directions elsewhere). It features A to B route planning, nearby cycle parking location, step by step directions, routemap, satnav, and a 'remember where I parked' route finder using data and maps from the OpenStreetMap project.
Release Notes: The maps provider has been changed to OpenStreetMap via the osmdroid library. An about window has been added.
19 Sep 15:36
sqlamp 0.5.2
sqlamp is an implementation of Materialized Path, an efficient algorithm for working with hierarchical data structures. sqlamp uses (and depends on) SQLAlchemy. Materialized Path is a way to store (and fetch) trees in a relational databases. It is the compromise between Nested Sets and Adjacency Relations in respect to simplicity and efficiency.
Release Notes: This version supports Python 2.5 and SQLAlchemy 0.6.x as well as 0.5.x.
19 Sep 14:54
Endeavour Agile ALM 1.18
Endeavour Agile ALM is a rich Web-based solution to manage the creation of large-scale enterprise systems in an iterative and incremental agile development process. It features support for Use Case management, iterations, project plan, change requests, defect tracking, test cases, tasks, document management, and many other process artifacts.
Release Notes: Support for Oracle was added. German localization issues were fixed. UI issues in the Task module were addressed: the dependencies tab did not have enough space on some browsers. Support for Dutch localization was added. Other localization issues were fixed. Security was improved for reports, documents, and attachments. Support for forums was added. Support for Chinese localization was added.
19 Sep 14:51
ITDB 0.23
ITDB is a Web-based tool used to store information about assets found in office environments, with a focus on IT assets, but not limited to such. It will help you keep track of hardware, software, relationships between assets, invoices, locations, contracts, people, and rack layouts. It can also print labels for all assets.
Release Notes: Bugs were fixed. New minor features were added.
19 Sep 14:51
PGP Individual UID Signer 2.0.8
PGP Individual UID Signer makes signing all the UIDs on all of the keys at a PGP keysigning party much simpler. It prompts for verification fingerprints, and then signs each UID on each key separately and emails them to their recipients encrypted with PGP/MIME.
Release Notes: This version fixes a bug where multiple keys with the same UID text would get skipped during signing. A bug where PIUS would fail to cleanup its temporary files was fixed.
19 Sep 14:48
YAPET 0.7
YAPET is a small text based password manager. It features the Blowfish encryption algorithm and runs on most modern Unixes.
Release Notes: Password records are opened in read-only mode for viewing in order to prevent accidental changes. The password prompt of the lock screen will now time-out. YAPET can be closed from the lock screen.
19 Sep 14:47
OpenAFS 1.5.77
AFS is a distributed filesystem which offers a client-server architecture, transparent data migration abilities, scalability, a single namespace, and integrated ancillary subsystems.
Release Notes: For all systems, minor bugs were fixed, including Rx fixes and vos dryrun improvements. RXAFS_GetStatistics64 now returns statistics properly. For all Unix platforms, the cacheout program is now built, and a potential panic in bulkstatus is avoided. On FreeBSD, shutdown of the Rx kernel listener was fixed to avoid a potential dereference after it's gone. On Linux, the packaging was updated for the current configure options and built files. On MacOS, the DNS resolver is reinitialized on IP address change. On Windows, the software properly fails over to other replicas on bulkstat IO errors, and directory entry buffers are validated to avoid crashing the service.
19 Sep 14:41
Visual Disk Test 5.4.65
VDT (Visual Disk Test) performs various I/O tests on files and devices such as whole hard disks, partitions, and logical volumes. It provides visual feedback on screen while offering a broad selection of addressing methods and test area selection.
Release Notes: This version implements an option (-M) to limit the number of "passes" per test when the "wrap" and "time" flags are selected. It also brings improvements to the documentation (README, man-page, and usage-help), as well as a bugfix related to the combination of the time-limit flag with the "slab" region selection.
19 Sep 14:31
amforth 4.2
amforth is an extendible command interpreter for the Atmel AVR ATmega microcontroller family. It has a turnkey feature for embedded use as well. It does not depend on a host application. The command language is an almost compatible ANS94 forth with extensions. It needs less than 8KB code memory for the base system. It is written in assembly language and forth itself.
Release Notes: This release fixes a regression introduced in version 4.1 which may corrupt the flash and EEPROM memory during certain operations. New words which are currently being defined are now invisible for dictionary lookups until the definition is finished. A IEEE754 single precision floating point library is now available.
19 Sep 11:29
Dice3DS 0.12
Dice3DS is a set of Pure Python modules for dealing with 3D Studio format (*.3ds) files. It maps 3DS chunks into a hierarchical set of Python objects; it's a lot like how ElementTree works for XML files. Dice3DS requires Python 2.6 or higher and Numpy. Note that it is not a wrapper for lib3ds.
Release Notes: Updates were made to the view3ds and example modules. Now you can use pyglet.gl as well as PyOpenGL. You can use the image loading functions of the GUI being used (pyglet or pygame), so PIL does not need to be installed, but PIL will be used if it's available. A new default front-end based on GLUT was added. New view3ds options were added to set window size and disable textures.
19 Sep 11:28
BeautyLists 0.1
BeautyLists is a simple Mailman UI enhancement. It applies some extra CSS and JavaScript code to the HTML output by Mailman to produce a more interactive and modern Web user interface.
Release Notes: This is the first release.
19 Sep 11:20
XML::Parser 2.40
XML::Parser is a Perl extension module providing an interface to James Clark's fast and robust XML parsing library, expat. Other Perl XML modules (many based on XML::Parser) may be found at the same CPAN download site where XML::Parser is located. The expat library is distributed as part of the module.
Release Notes: Several encodings were added. Documentation was improved. Better error checking is done in case expat is missing.
19 Sep 11:19
jsoup 1.3.3
jsoup is a Java library for working with real-world HTML. It can parse HTML from a URL, file, or string. It can find and extract data, using DOM traversal or CSS selectors. The HTML elements, attributes, and text can be manipulated. It can clean user-submitted content against a safe white-list. jsoup is designed to deal with all varieties of HTML found in the wild, from pristine and validating to invalid tag-soup; jsoup will create a sensible parse tree.
Release Notes: This release implements Elements.empty() and Elements.remove(), to allow easy element removal. A restricted XHTML output entity option was added. An issue in Entities when unescaping $ was fixed.
19 Sep 11:17
Stendhal 0.87.1
Stendhal is a multiplayer online adventure game (MMORPG) developed using the Arianne game development system. It features a rich and expanding world in which you can explore towns, buildings, plains, caves, and dungeons. You will meet NPCs and acquire tasks and quests for valuable experience and cold hard cash. Your character will develop and grow, and with each new level up become stronger and better. With the money you acquire, you can buy new items and improve your armour and weapons. You can also roam the world in search of evil monsters (and kill them).
Release Notes: Floating windows off the main game screen were implemented. Your bag, keyrings, settings, and character panel will no longer obscure the game view. Offline messages are now accessible at the Web site.
19 Sep 11:15
marauroa 3.8.2
Marauroa is a multiplayer online game framework server. It uses a multithreaded server architecture with a TCP oriented network protocol, a MySQL based persistence engine, and a flexible game system. The game system is totally expandable and modifiable by game developers and is able to run Python scripts defining the game's rules. Marauroa is based on a design philosophy called Action/Perception. Marauroa is totally game agnostic and makes very little assumptions about what are you trying to do, allowing a great freedom to create any game type.
Release Notes: This minor release speeds up startup on servers with low entropy by initializing the random number generator early in another thread. It allows games to check the length of a database column on update. On account creation, a new return code Result.FAILED_OFFLINE was added.
19 Sep 11:14
Check_MK 1.1.7i5
Check_MK is a complex addon for Nagios/Icinga and consists of three subprojects. The check and inventory system Check_MK is a general purpose Nagios plugin for retrieving data. It adopts a new approach for collecting data and obsoletes NRPE, check_by_ssh, NSClient, and check_snmp. It features a significant reduction of CPU use on the Nagios host and automatic inventory of items to be checked, and is especially useful with larger Nagios installations. "MK Livestatus" gives immediate and fast access to live and historic Nagios status data. It's a supported backend for many addons including NagVis, NagiosBP, and Thruk. "Check_MK Multisite" is a feature complete replacement for the Nagios GUI, and uses MK Livestatus as a backend. It is very fast, and supports efficient distributed monitoring.
Release Notes: This innovation release contains a lot of new checks and other improvements.
19 Sep 11:13
ashd 0.1
Ashd is an HTTP server that follows standard Unix philosophy for modularity. Instead of being a monolithic program with loadable modules, as most other HTTP servers seem to be, Ashd is simply a collection of much simpler programs, passing HTTP requests to each other using a simple protocol. The model also allows such handler programs to persist properly, so that, for example, session data can be kept in memory, connections to back-end services can be kept open, and so on.
Release Notes: This is the first public release.
19 Sep 11:12
tXtFL 1.1.3
tXtFL is a strategy-based football simulator. Teams can be created from real stats on the Web, built through custom designed plays, and then used to predict scores and games through automated or manual simulations.
Release Notes: This maintenance release provides updates for the 2010 football season as well as fixes for head-to-head play over the network and overtime scoring.
19 Sep 11:11
WP Clipart 9.0
WP Clipart is an attempt to make a useful clip art package of public domain images for use in word processors. It includes an optional cross-platform viewer/editor written with Python/GTK. The collection contains primarily non-transparent PNG images, mid-tones expanded and large shadow areas minimized (to prevent blocking-up) for inkjet print quality. It is suitable for documents as well as Web graphics, but also has business application. Its primary focus is for educational use (pictures of all US presidents, all country flags alphabetically listed, all US states, historical figures, a sign language alphabet, and a large American history section.)
Release Notes: This is primarily a maintenance release to update code to recent GTK/Python releases. A few UI tweaks were also made. Images the in clip-art collection are downloadable as separate zipped files. The entire collection has grown to about 1.6 GB, so distribution as an all-in-one package has become impracticable.
19 Sep 11:08
SDOM 0.5
SDOM is an attempt to provide a complete implementation of the W3C Document Object Model level 3 API, including event handling, in R6RS Scheme.
Release Notes: This release features a reimplementation of SDOM as an R6RS library, making it compatible with all R6RS-compliant Schemes. A number of related changes have been made to the API.
19 Sep 11:05
ucommon 3.4.0
UCommon is a lightweight C++ library to facilitate using C++ design patterns even for very deeply embedded applications, such as for systems using uClibc along with POSIX threading support. For this reason, UCommon disables language features that consume memory or introduce runtime overhead. UCommon introduces some design patterns from Objective-C, such as reference counted objects, memory pools, and smart pointers. UCommon introduces some new concepts for handling of thread locking and synchronization.
Release Notes: This version refocuses on the mission of uCommon as a lightweight core runtime library for C++ focused on design patterns, threads, sockets, and security. Other libraries that were recently added have been detached, including ccscript4, which will become part of the next Bayonne release.
19 Sep 11:04
coopy 0.3.0
COOPY is a set of tools for distributed data projects. It supports diffing, patching, merging, and revision control of tables in a variety of formats (CSV, Excel, MySQL, Sqlite, etc).
Release Notes: The user interface was simplified, and a Mac version was prepared.
19 Sep 10:58
Tera-WURFL 2.1.3
Tera-WURFL is a PHP class that can identify the capabilities of mobile devices using the standardized Wireless Universal Resource File (WURFL). This implementation uses the same methods as the stock PHP WURFL library, but significantly improves performance by storing the WURFL data in a database backend (currently only MySQL). You can use multiple patch files to override the capabilities in the WURFL file. Tera-WURFL is able to figure out if the client visiting your site is a wireless device or a desktop Web browser. Unlike other implementations of WURFL, Tera-WURFL includes an easy-to-use graphical user interface to allow you to update your WURFL file directly from the Internet, load the WURFL file, browse and clear the device cache, and more.
Release Notes: This version introduces a MongoDB database connector, better support for Microsoft SQL Server and higher performance in MySQL. Also in this version, there is a full-featured command line interface for administering your system from the shell or scripts.
