Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
378
Python Software Foundation
681,708
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.
4
wxDesigner
326
Freeware
It contains the infamous wxPython demo, other samples, and wxWidgets docs.
3
Thomas Heller
2,156
Freeware
It is a great utility that allows you to create an executable Pythons script.
6
Numpty Developers
19,635
Freeware
NumPy is the library to have if you want advanced calculations in Python.
1
KNX
12
Commercial
EITT - KNX Interworking Test Tool for putting KNX devices through their paces.
2
KNX Association
82
Commercial
KNX Manufacturer Tool can create KNX conform product database entries.
1
NETxAutomation
23
Demo
The NETx KNX OPC Server provides access to KNX networks.
1
Mark Hammond (et al)
2,054
Freeware
Python pywin32-210 is a set of Python extensions for Windows.
3
Microsoft
5,426
Freeware
XML Parser and SDK includes header and .lib files, and documentation.
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.
146
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.