OStatic

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducin...

Cinege is aimed to be the ultimate library (management) system - one day. Currently, it it a very nice tool to make regexp based filtering of bibliogr...

Crimild Engine is an open source scene graph based engine which purpose is to fulfil the high-performance requirements of typical multi-platform two a...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...