Casablanca is a Microsoft incubation project to support cloud-based client-server communication in native code, using a modern asynchronous C++ API design. Casablanca seeks to start exploring how to best support C++ developers who want to take advantage of the radical shift in software architecture that cloud computing represents.

Debugger Canvas is a new user experience for the debugger in Visual Studio Ultimate. It pulls together the code you’re exploring onto a single pan-and-zoom display. As you hit breakpoints or step into code, Debugger Canvas shows just the methods that you’re debugging, with call lines and local variables, to help you see the bigger picture.

Solver Foundation makes it easier to build and solve real optimization models. Solver Foundation includes a declarative modeling language (OML) for specifying optimization models, a .NET API and runtime (Solver Foundation Services) for model creation, reporting, and analysis, and powerful built-in solvers.

Sho is an interactive environment for data analysis and scientific computing which lets you seamlessly connect scripts and compiled code for fast and flexible prototyping in .NET.

TPL Dataflow (TDF) is a .NET library for building parallel and concurrent applications. It promotes actor/agent-oriented designs through primitives for in-process message passing, dataflow, and pipelining.

Code Contracts are static library methods used from any .NET program to specify the code’s behavior. Runtime checking and static checking tools are both provided for taking advantage of contracts.