Utopia (formerly, Mobile Code OS) is an operating system for mobile code run in an environment of fine-grained, customizable virtualization.
OSv is an operating system for virtual machines in the cloud. It can run existing Linux code, including a JVM, but is much smaller and simpler than Linux, and has been designed from scratch to focus on running efficiently on virtual machines.
An interactive symbolic-numeric system dedicated to celestial mechanics.
An mplementation of a Qt client for socket.io.