Geodes is a mac application designed to do geometry and math like you can do in front of a sheet of paper. It both includes simple figures drawing (lines, circles) and high level analytic geometry.
The Mac OS X Port of analog which has been specially rewritten into ObjC code to take advantage of Cocoa. The rewrite will also incorporate new features not found in the console version. Includes a graphical interface, support for XML property lists. .
The Semantic Time Framework is a multimedia "meta-framework" that provides more high-level abstractions of time. STF enables developers to more quickly and easily develop interactive applications with time-based media.