OStatic

BRL-CAD is a powerful cross-platform constructive solid geometry solid modeling system that includes an interactive geometry editor, ray-tracing for r...

GGI stands for General Graphics Interface , and it is a project that aims to develop a reliable, stable and fast graphics system that works everywher...

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

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

Esra is a 100% pure java library for the interactive analysis of molecular mechanics data. Mangles your data in your favorite scripting language.

ATL: ASA Tutor Locator reduces tutor load by using transient ad-hoc peer communities that are seeded with document fragments from the learning network...