1
Microsoft Research
6
Freeware
VCC is a tool that proves correctness of annotated concurrent C programs.
Microsoft Research Ltd
4
Freeware
An extension of the Windows UI for user lightweight management through tagging.
Microsoft Research
7
Freeware
FORMULA is a modern language targeting model-based development.
20
Microsoft Corporation
1,178
Freeware
This is an interactive app that gives users the power to create "Cliplets".
63
Microsoft Research
17,822
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,818
Freeware
Design and compose your own panoramas either from video or still images.
Microsoft Research
3,118
Freeware
Designed to have a user interface uniquely tailored to pen input.
2
Microsoft Research China
91
Freeware
Microsoft Portrait is very low bit rate video conferencing software.
Microsoft Research
1
Freeware
Scalable Fabric is a task management system for the Windows desktop.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
Hammertap
2
Commercial
eBay market research software.
AuctionPI
4
Freeware
Auction PI eBay research software gives you a competitive edge.
2
AppBreed Software of InnAnTech Industries Inc.
34
Freeware
It allows you to research eBay sellers before you buy.
62
Scendix Software, Inc.
10
mceAuction brings eBay to your TV using Microsoft's Windows XP Media Center(R).
macropool GmbH
37
Shareware
With Web Research Outlook you can save e-mail messages from Microsoft Outlook.
2
MarketXLS
31
Commercial
Research, track, and invest in the stock market within Microsoft Excel.
