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).
Webware for Python is a suite of Python packages and tools for developing object-oriented, Web-based applications. The suite uses well known design patterns and includes a fast Application Server, Servlets, Python Server Pages (PSP), Object-Relational Mapping, Task Scheduling, Session Management, and many other features. Webware is very modular and easily extended. It is well proven and platform-independent. It is compatible with multiple Web servers, database servers, and operating systems.
Baudline is a time-frequency browser designed for scientific visualization of the spectral domain. Signal analysis is performed by Fourier, correlation, and raster transforms that create colorful spectrograms with vibrant detail. Conduct test and measurement experiments with the built in function generator, or play back audio files with a multitude of effects and filters. The baudline signal analyzer combines fast digital signal processing, versatile high speed displays, and continuous capture tools for hunting down and studying elusive signal characteristics.
jMusic provides a library of classes for generating and manipulating music, and is a solid framework for computer assisted composition in Java. jMusic supports composers by providing a music data structure based upon note/sound events, and methods for working with that musical data. jMusic can read and write MIDI files, audio files, and its own .jm files. jMusic is designed to be extendible, encouraging you to build upon the functionality of jMusic by programming in Java to create your own music composition tools.