"Tegel" is an add-on for Allegro for drawing and handling layered tilemaps. The package contains an editor and a playback library in C. There is support for multiple layers and rotated and/or animated tilemaps. The editor is easy to use, with unlimited undo, copy/paste, flood fill, and help included.
Logic Reasoner is a theorem prover for first-order logic with equality. The main objective leading the development of Logic Reasoner has been the creation of a flexible architecture: in particular, the program has been designed as a generic infrastructure for theorem proving, which forms the basis for a collection of specific proving techniques. These techniques can be easily combined or replaced to create configurations with different properties.
Template based B+ Tree is a simple and yet very efficient template based B+ Tree implementation which supports different types of storage. It is implemented in C++, and can be used with any type of data. To change storage type (e.g. from file based to memory based), all you need is to change a template argument of the BTreeAlgorithms class. Either the standard search method or a customized search method can be used.
MorkParser is an efficient C++ implementation of a Mork database format reader. The Mork format is used in most Mozilla-based projects, including the Mozilla browser suite, SeaMonkey, Firefox, and Thunderbird. In Firefox, it is used for browsing history data and form history data. In Thunderbird, it is used for many things, such as address book data (.mab files) and the mail folder summaries (.msf files). The MorkParser class uses Qt, therefore it is cross-platform.
Paragent is a Web-based tool for IT administrators that provides a unified service for hardware and software inventory, alerting, remote desktop, and help desk functions. It delivers these tools in an easy-to-use interface, with one-click access and site-wide built-in advanced search capabilities. It is a combination of applications, including Lisp-based servers collecting data, C++ agents on the client machines, and Java tools for the remote desktop component. Paragent runs on Linux servers and supports Windows clients.
BPKIT is a toolkit of block preconditioners for the iterative solution of linear systems. The most effective general purpose and black-box type of preconditioners are available, including block SSOR, block tridiagonal ILU, and the block extension of point ILU with level-of-fill. Any of these "global" preconditioners may be coupled with one of a large collection of "local" preconditioners for approximately or exactly inverting or solving with the diagonal or pivot blocks. These include a number of approximate inverse techniques. By combining a global and local preconditioner, a wide variety of preconditionings are possible, matched to the difficulty and structure of the problem.