pixie is a window manager for X11. It can be used as a code base for X11 window programming. It can help to enhance your desktop with 3D effects, for example.
A big data analytics tool for unified modeling and reasoning in outdoor and indoor spaces.
An interactive symbolic-numeric system dedicated to celestial mechanics.