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,176
Freeware
This is an interactive app that gives users the power to create "Cliplets".
63
Microsoft Research
17,797
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,809
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.
179
Microsoft
30,637
Freeware
A fine interface between Windows-based computers and Windows mobile phones.
131
Microsoft
2,011
Commercial
Encarta Library is a reference resource for students and for all the family.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
macropool GmbH
37
Shareware
With Web Research Outlook you can save e-mail messages from Microsoft Outlook.
CLAM devel
13
Freeware
The tool is intended to be useful for the music information retrieval research.
2
MarketXLS
31
Commercial
Research, track, and invest in the stock market within Microsoft Excel.
1
William Morris Hooper
2
Freeware
Exceltagger is an utility for editing flac music tags in Microsoft Excel.
David Webber
53
Shareware
Music notation software for computers running Microsoft Windows.
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.
73
Keyword Research Tool
34
Shareware
Keyword Research Pro is a keyword research tool that gets data from Google, Wordtracker, and more. G....