OStatic

jSLP is a pure Java implementation of RFC 2608 (SLP, Service Location Protocol, Version 2) with a RFC 2614 style API. It can be both SLP UserAgent (UA...

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathemat...

Jaxe is a Java XML editor. Features include: graphical document-oriented user interface (not just tree-like), customizable user interface for a gi...

FTimes is a system baselining and evidence collection tool. The primary purpose of ftimes is to gather and/or develop topographical information and at...

MARF is a general cross-platform framework with a collection of algorithms for audio (voice, speech, and sound) and natural language text analysis and...

d.tools is a suite of tools for rapid prototyping of tangible user interfaces for designers. d.tools uses visual programming and automatic hardware de...

Concierge OSGi is an OSGi (Open Service Gateway Initiative) R3 framework implementation optimized for resource-constrained devices like mobile and emb...

Pysces is the Python Simulator of Cellular Systems. For a network of coupled reactions it does a stoichiometric matrix analysis, calculates the time c...

Aigaion is web-based reference management software. It structures a bibliography using topic tree oriented publication management. Publications may be...

JGAP is a genetic algorithms package written in Java. It is designed to require minimum effort to use out of the box , but is also designed to be hig...