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.
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.
80
Sinner Computing
15
CPUID testing utility with HTML file Report and Cache, drive and OS Testing.
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.
