A system for running Linux binaries on Windows.
An object-oriented, type safe, multi-threaded approach to computer algebra.