OStatic

Object-Oriented Java Algorithms for math, linear algebra and optimisation.

The ECLiPSe Constraint Logic Programming System is designed to support programming in the CLP paradigm and for the development of new constraint solve...

VNUML is a virtualization tool designed to quickly define and test complex network simulation scenarios based on the great User Mode Linux (UML) virtu...

Ngspice project aims to improve the spice3f5 circuit simulator.

Packetyzer is a network protocol analyzer for Windows, also know as a packet sniffer. It is based on the Ethereal project, but provides a native Windo...

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniq...

Myron (webcamxtra) brings native-implemented, cross-platform computer vision to Processing and Macromedia Director, allowing inexpensive commercial US...

Felix programming language specifications and translator

This ASN.1 compiler turns formal ASN.1 specifications into C code. The compiler is shipped together with conformant BER/DER/XER/PER codecs. The X.509,...

The ASCO project aims to bring circuit optimization capabilities to existing SPICE simulators using a high-performance parallel differential evolution...