OStatic

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured cl...

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state mach...

A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, crossplatform compatible, supported for...

Inspired by JUnit, csUnit brings the power of unit testing to the .NET framework. csUnit is your key to unit testing and test-driven development using...

SAADA transforms a set of heterogeneous astronomical data FITS files in a powerfull database deployed on the Web and including VO features. The databa...

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

ESys.NET is a new system-level modeling and simulation environment. It takes advantages of .NET capabilities such as introspection, multi lingual mode...

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

This projects deals with different robotics algorithms such as motion planning (navigation) , vision SLAM, vision algorithms, and mapping.

The DaCapo benchmark suite is designed to faciliate performance analysis of Java Virtual Machines, compilers and memory management. It comprises a h...