Spice-GTK is a set of GObject and Gtk objects for connecting to Spice servers. Spice provides a solution for interacting with virtualized desktop and devices.
GNOME Boxes lets you easily create and use local and remove virtual machines.
An object-oriented, type safe, multi-threaded approach to computer algebra.
A Topic Map editor application.