OStatic

LayManSys - Layout Management System - is a PHP framework, that helps you providing a consistent look&feel of your web pages. It stores the meta i...

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

A Linux port of the OpenBSD/FreeBSD Cryptographic Framework (OCF). This port aims to bring full asynchronous HW/SW crypto acceleration to the Linux k...

Project to to port common Java libraries like JUnit, Log4j, Crimson, Xerces, Xalan, Jakarta POI, Commons Lang/Collections/CLI, JSch, JZLib and BouncyC...

GDCM is yet another C++ library dedicated to reading/parsing and writing DICOM medical files. GDCM stands as a short for Grass roots DiCoM . Supports...

GPUBench is a suite of tools useful in evaluting the compute performance of programmable graphics hardware. The tests are designed to provide informa...

JVFramework is an application framework for Java. It's main goal is to avoid code duplication (such as metatada, UI programming, etc) related to ...

Spineless is a generic cross-platform 3D game engine implemented in Python with Pyrex optimizations. Focus is on flexibility, clean design and ease of...

An API written in C# using the .NET 2.0 framework which allows developers to interact with the delicious (http://del.icio.us) social bookmarking servi...

jME Physics System provides an interface between jME (Java Monkey Engine) and ODE (Open Dynamics Engine). It sits on top of a slightly modified versio...