For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

http://torch.ch

prototype of stream based programming language

OSv, a new operating system for the cloud.

msysGit has been superseded by Git for Windows 2.x