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.
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.
A functional wrapper for Java methods.
A game of competitive puzzle design.