Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
378
Python Software Foundation
709,707
Open source
Create web and desktop applications using an object oriented language.
79
Simon Tatham
195,289
Open source
PuTTY is an SSH and telnet client, developed originally by Simon Tatham.
5
Colin Harrison
65
Freeware
Xming- Portable PuTTY- A portable version of the popular telnet and ssh client.
1
Default Manufacturer
Freeware
Quest PuTTY configuration defaults can be changed using group policy.
7
Millard Software
156
Freeware
PuTTYCS is a free implementation of Telnet and SSH for Windows.
1
Simon Tatham
6
Freeware
The Putty Toolkit is a set of tools that are part of the PuTTY applications.
13
OCS Inventory Team
6,685
Freeware
This tool uses Windows SysInternals Psexec and PuTTY remote execution tools.
1
Mark Hammond (et al)
2,055
Freeware
Python pywin32-210 is a set of Python extensions for Windows.
3
Microsoft
5,456
Freeware
XML Parser and SDK includes header and .lib files, and documentation.
4
David Riseley
245
Freeware
Allows system administrators to organize their PuTTY sessions into folders.
2
Alawar Entertainment
4
Shareware
Need For Eat - Python Return. Python Tournament on Your Desktop!
CyberSource Corporation
20
Freeware
The lib directory contains the binaries necessary to build an application.
mbaas
14
Freeware
The Python Computer Graphics Kit is a collection of Python modules.
2
Binary Soft, Inc.
147
DLL to Lib is a tool to convert a DLL into a equivalent static library.
Richard Tew
1
Freeware
Stackless Python is an enhanced version of the Python programming language.
