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".
5
Microsoft Research
66
Freeware
Allows you to display and analyze a network graph in the Excel window.
3,357
Microsoft Corporation
13,166,048
Commercial
It will help you to create, personalize and distribute newsletters, brochures.
437
Microsoft
86,614
Commercial
It allows you to create professional diagrams to simplify complex information.
63
Microsoft Research
17,784
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,805
Freeware
Design and compose your own panoramas either from video or still images.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
LockwoodTech Software
Shareware
Template based code generation for ANY language used with Microsoft SQL Server. Includes a template....
2
Microsoft Corporation
1
Freeware
Is a template format for college level type research papers.
Chikrii Softlab
130
Shareware
It is a converter which enables Microsoft Word to open documents in TeX format.
GrindEQ
Freeware
This module converts LaTeX, AMS-LaTeX, or AMS-TeX documents to Microsoft Word.
Sergio Ledesma
3
Freeware
Wintempla is a Microsoft Visual Studio 2008 template.
LA Solutions
3
Freeware
InsertPDF is a free Microsoft Word start-up template.
5
Social Media Research Foundation
987
Open source
NodeXL is a free, open-source template for Microsoft® Excel® 2007 and 2010.
Excel-4-Business
44
Freeware
This program is a free spreadsheet template for Microsoft Excel.
macropool GmbH
37
Shareware
With Web Research Outlook you can save e-mail messages from Microsoft Outlook.
