Microsoft Research

Create a musical score by singing into your computer.

SNARF from Microsoft Research is a simple to use, yet sophisticated Social Network and Relationship Finder.

Songsmith is created to be a smart tool with the ability to generate musical accompaniment to match a singer's voice.

Microsoft Research AutoCollage 2008 is popular among many users as a good-quality and easy-to-use application for automatically creating collages from your images.

Plant Competition Model Simulator offers users with an easy to use yet smart Windows Presentation Foundation application that enables a user to experiment with the Crawley-May plant-competition model, a spatially explicit model that investigates the conditions under which two plant species can coexist.

F7 is created to be a simple to use yet ideal typechecker for the F# programming language. F7 supports static checking of properties expressed with refinement types.

FS2PV is developed to be as an ideal as well as complete verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model.

DNA Strand Displacement Simulator provides you with a useful programming language for designing and simulating DNA circuits in which strand displacement is the main computational mechanism.

Microsoft Research Accelerator offers users with an easy to use yet effective data parallel library which uses parallel processors such as the GPU or multicore CPU to accelerate execution.

Microsoft Research Accelerator comes as a reliable high-level data parallel library which provides simplified programming of graphics-processor units (GPUs).