OStatic

OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replaci...

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

ASNEditor provides an Eclipse 3 editor plugin for ASN.1 (Abstract Syntax Notation One) files. It presents an outline page, syntax highlighting, conten...

Flooda is a free SCM/VC (Software Configuration Management / Version Control) tool. Its source code size is less than 4000 lines, only 1 percent of SV...

A tool to identify and analyze network congestion.

The project consist in an open source implementation of the W3C Recommendation of the XML Key Management Specification 2.0 XKMS 2.0. It is compound of...

Acceptance/regression testing framework based on full screen automation (via terminal emulation) with integrated unit testing engine (standard Ruby te...

Establishes a complete feedback-channel between developer and their program(s). Includes: *app monitoring libs (works with log4j too) *incident-log-s...

Mysql manager developed with PHP-GTK2 with tabs and many other great issues

PicOload is a programmer and a bootloader that allow to program a PIC 16f87X / 16f87XA using a RS232 serial line whithout leaving the chip from his s...