Atratus runs binaries built on Linux on WIndows. It is a system call translator similar to UML (User Mode Linux). It can run some games and busybox utilities.
A big data analytics tool for unified modeling and reasoning in outdoor and indoor spaces.
An interactive symbolic-numeric system dedicated to celestial mechanics.