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,174
Freeware
This is an interactive app that gives users the power to create "Cliplets".
63
Microsoft Research
17,774
Open source
A virtual telescope that lets you browse though the known universe.
25
Microsoft Corporation
8,798
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.
10
Microsoft Corporation
1,535
Freeware
An extension of a private network, a VPN encompasses public networks.
21
Overplay
895
Freeware
OverPlay VPN, change your IP address to one in another country.
1
RSA, The Security Division of EMC Corporation
166
Freeware
RSA EAP Client – A plug-in into the Microsoft Wireless and VPN client.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
47
Neu Telekommunikationstechnik
4
Commercial
FactotumNOW IAS Reporting imports IAS/RRAS (Microsoft VPN) log files.
62
DVS Informatics Pvt. Ltd.
33
Shareware
VPN Console reads and analyzes Microsoft IAS Server log.
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.
8
FlyVPN INC.
15
Shareware
It helps you setup your VPN connection for USA VPN, Korean VPN.
3
Globus Partners Ltd.
4
Shareware
HOW OUR VPN, VPN+TOR, CLOUD VPN SERVICE COMPARES.
1
Rhino USA, LLc.
Automatically restarts your RAS VPN if packets transmission fails, Keeps VPN UP.