OStatic

Xrefactory provides code completion, source browsing, and refactoring functions for Emacs, XEmacs, and jEdit. It is based on full pre-processing, par...

A modular, network transparent and realtime capable C/C++ framework for controlling robots and other kind of hardware.

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, effici...

DB Visual Architect (DBVA) is a powerful tool that provides support for Object Relational Mapping (ORM) and Entity Relationship Diagrams (ERD), wh...

DB Visual Architect for Eclipse (DBVA-EC) is a full-featured Object Relational Mapping (ORM) plugin for Eclipse that provides round-trip code engin...

DB Visual Architect for NetBeans (DBVA-NB) is a full-featured Object Relational Mapping (ORM) plugin for NetBeans that provides the industrys best rou...

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java...

Contains projects of personal interests, especially academic projects.

MNC is a software package of error-correction algorithms. It includes powerful functions for modular encoding, transmission, and sum-product decoding....

To assemble and create a platform- and DBMS-independent suite of architected software for data warehousing and analysis