Satsuma is an easy-to-use and flexible graph library for .NET. It implements all the necessary graph structures and the fastest possible graph algorithms.
Symia is a minimalist C++ library for performing symbolic calculus. It is meant to be used by developers, as there is no graphical or textual user interface.
A Web server with an in-built data store.
A Nagios plug-in and configuration library for Python.