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.
2
KNX Association
82
Commercial
KNX Manufacturer Tool can create KNX conform product database entries.
1
Aachen University of Technology
6
Freeware
LTI-Lib is an object oriented computer vision library written in C++.
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
KNX
12
Commercial
EITT - KNX Interworking Test Tool for putting KNX devices through their paces.
1
NETxAutomation
23
Demo
The NETx KNX OPC Server provides access to KNX networks.
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.
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.
1
Barry Barnreiter
65
Open source
OpenOPC for Python is an easy-to-use OPC library for use with the Python.
