Microsoft Research Downloads
Sun Apr 24 04:34:35 EDT 2011
Home: http://research.microsoft.com/apps/dp/dl/downloads.aspx
Feed: http://research.microsoft.com/rss/downloads.xml

Microsoft Research Sequence Assembler 2.0

Microsoft Research Biology 2.0 Extension for Excel

Cloud Services SDK for Windows Phone 7 Beta

Image Composite Editor (32 bit)

Microsoft Biology Foundation 2.0

Microsoft Biology Foundation V2

Image Composite Editor (64 bit)

TLA+ Tools

TLA Toolbox: Linux 64-bit

TLA Toolbox: Linux 32-bit

TLA Toolbox: Mac 64-bit

TLA Toolbox: Mac 32-bit

TLA Toolbox: Windows 64-bit

TLA Toolbox: Windows 32-bit

Microsoft Research Project Colletta

Visual Studio Add-in and Bare-Metal Environment for Intel SCC

Examples of HLSL Symbolic-Differentiation Programs

Speedy DDR2 Controller for FPGAs

FORMULA

CodeContract Tools