Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
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.
6
Numpty Developers
19,689
Freeware
NumPy is the library to have if you want advanced calculations in Python.
4
wxDesigner
326
Freeware
It contains the infamous wxPython demo, other samples, and wxWidgets docs.
3
Microsoft
5,456
Freeware
XML Parser and SDK includes header and .lib files, and documentation.
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.
2
DeepSoftware LLC.
1
Shareware
The nrComm Lib is set of Delphi VCL components, classes and routines.
21
DeepSoftware
18
Shareware
The nrComm Lib is a set of Delphi VCL components, classes and routines.
1
Mark Hammond (et al)
2,055
Freeware
Python pywin32-210 is a set of Python extensions for Windows.
