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.
Microsoft Corporation
1,175
Freeware
This is an interactive app that gives users the power to create "Cliplets".
63
Microsoft Research
17,780
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,800
Freeware
Design and compose your own panoramas either from video or still images.
2
Microsoft Research China
91
Freeware
Microsoft Portrait is very low bit rate video conferencing software.
131
Microsoft
2,010
Commercial
Encarta Library is a reference resource for students and for all the family.
Microsoft Research
24
Freeware
API for students and researchers to experiment with Touch Mouse sensor.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
2
Avanquest Software
2
Commercial
Mavis Beacon Teaches Microsoft Office offers interactive computer-based training.
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.
262
Broderbund
1,918
Commercial
Mavis Beacon Teaches Typing offers an unbeatable learning experience.
52
Broderbund
5,436
Commercial
Mavis Beacon Teaches Typing Deluxe is a software designed to improve typing.
Broderbund
378
Commercial
Professional-grade typing instruction software with Mavis Beacon.
11
Encore, Inc.
1
Commercial
Maximize your productivity with Mavis Beacon Teaches Typing Deluxe 20.
5
macropool GmbH
30
Shareware
Web Research is a powerful software to leverage your Internet research.
5
Ronald M. Kucynski
4
Demo
The Speed Research Browser can streamline your online research processes.
