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
Python
3,980
Open source
A pure Python COM package based on the ctypes ffi foreign function library.
3
Thomas Heller
2,163
Freeware
It is a great utility that allows you to create an executable Pythons script.
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.
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.
CyberSource Corporation
20
Freeware
The lib directory contains the binaries necessary to build an application.
2
Binary Soft, Inc.
147
DLL to Lib is a tool to convert a DLL into a equivalent static library.
4
Borland Software Corporation
1
Freeware
RX Lib is large library of components and functions for Delphi all versions.
DeepSoftware LLC.
2
Shareware
The nrComm Lib is set of Delphi VCL components, classes and routines.
1
Aachen University of Technology
6
Freeware
LTI-Lib is an object oriented computer vision library written in C++.
1
TicTacTec
53
Shareware
TA-Lib pro is configurable directly from the Excel interface.
