Microsoft Research Downloads
Sun May 9 22:40:09 EDT 2010
Home: http://research.microsoft.com/apps/dp/dl/downloads.aspx
Feed: http://research.microsoft.com/rss/downloads.xml

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

Holmes Statistical Debugging Tool Kit

SCARF: A Segmental CRF Speech-Recognition Tool Kit

Z3

HD View Utilities (32 bit)

HD View Utilities (64 bit)

Pex - Automated Whitebox Testing for .NET

Microsoft Research Software Radio Academic Kit

Microsoft Project Hawaii Notification Service SDK

Rex: Regular Expression Exploration for .NET

Chemistry Add-in for Word

Image Composite Editor (64 bit)

Image Composite Editor (32 bit)

CodeContract Tools

SIGMA: Large-Scale and Parallel Machine-Learning Tool Kit