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...

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

PunkPong is an open source Pong alike game totally written in DHTML (JavaScript, CSS and HTML) that uses keyboard or mouse. This cross-platform and ...

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...

A C++ API to work with manifold triangle meshes.

Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; gra...

Ever wanted to know exactly how many lines of code are in your project? or how many of those lines are comments and how many are actual code? SourceSt...

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