ZooLib allows one to write a single set of C++ sources which can be compiled into native executables for Mac OS, Windows, BeOS, or POSIX-compliant systems that use the X Window system (such as Linux). Zoolib provides a GUI toolkit with a uniquely flexible layout system. It also provides a single-file database format, TCP networking, and extensive debugging support. ZooLib applications are multithreaded. ZooLib requires only minimal support from the underlying OS and platform GUI layer, and thus could be ported to a completely new platform without too much difficulty. ZooLib is fully production quality on Windows and MacOS, completely implemented but untested on BeOS, and not yet complete on POSIX. Please note that the sources from the "demo" branch are also required to build ZooLib or to get started writing your own ZooLib applications.
e4Graph is a C++ library that allows programs to store graph-like data persistently and to access and manipulate that data efficiently. With e4Graph, you can arrange your data in the most natural form that reflects the relationships between its parts, rather than having to force it into a table-like format. The e4Graph library also allows you to concentrate on the relationships you want to represent, and not on how to store them in a database. You can modify data items, and add and remove connections and relationships between pieces of data on the fly. e4Graph allows you to represent an unlimited number of different connections between pieces of data, and your program can selectively manipulate the data according to the relationships it cares about, not having to know about other connections represented in the data set.
leJOS is a Java-based replacement firmware (OS) for LEGO Mindstorms programmable bricks, including RCX and NXT. It supports threads, exceptions, synchronization, floating point arithmetic, strings, and so on, but there is no garbage collection yet. It is also designed to be portable to other small devices.
Nets is a flexible and extensible network inventory and asset management system that works on all Unix and Windows platforms, and works with most SQL databases. Its complete GUI allows you to maintain details of your entire network, from network links down to interfaces and routers. It assists in provisioning, costing, reporting, and maintaining network details. It includes a network browser, an extension API, and plugins for IP address map visualisation, reports, schematics.
MUSCLE (Multi User Server Client Linking Environment) is an N-way messaging server and networking API. It includes client-side networking APIs for various languages, including C, C++, C#, Delphi, Java, and Python. MUSCLE lets programs communicate over a network via streams of serialized Message objects. The included server program ("muscled") lets its clients message each other and store information in its server-side hierarchical database. The database supports flexible queries via hierarchical wildcarding, and "live" updates via a subscription mechanism.
album is a free HTML/XHTML photo album and gallery generator that supports themes/skins. You can choose different themes or write your own to get different layouts and styles. It creates all your thumbnails (including directory thumbnails) and descends into directories so you can organize your photos. See the home page for more examples. album is also multi-lingual, with many languages being added all the time. N.B.: The purchase link is provided for donations; the software does not cost anything.
db4o is an object database for Java and all .NET environments. Its features include ACID transactions, automatic class schema recognition, query-by-example, a S.O.D.A. object querying API, native queries, LINQ support on .NET, callback methods, memory files, cascade-on-delete, multi-threaded access, and Java Webstart and servlet support.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).