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".
1
Telstra
Freeware
TTT is an add-in to Microsoft Internet Explorer, Microsoft access TIPT Services.
Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
47
Red Egg Software
4,422
Freeware
A useful spell checker add-on for Microsoft Internet Explorer web browser.
37
IEWatch Software LLC
5
Shareware
View HTTP headers and HTML code in Microsoft Internet Explorer.
1
UselessApplications
6
Freeware
IE Throttle is a small plug-in for your Microsoft Internet Explorer.
54
Shatran Software
Freeware
HTML Quick Edit Bar is a freeware toolbar for Microsoft Internet Explorer that allows
you to edit t....
1
Tagana
Shareware
A Front end for Microsoft Internet Explorer 4.x or 5.x, in the well know Star Trek LCARS format.
47
IEInspector Software
157
Shareware
IE WebDeveloper is an add-on for Microsoft Internet Explorer.
1
IDimager Systems, Inc
5
Freeware
This is a little add-on for Microsoft Internet Explorer.
