OStatic

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

A free, industrial quality library for simulating articulated rigid body dynamics - for example ground vehicles, legged creatures, and moving objects ...

Streamline is a network stack for Linux that build per-application optimized datapaths. It supports in-kernel acceleration and dedicated hardware (IXP...

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prov...

MeCab is a fast and customizable Japanese morphological analyzer. MeCab is designed for generic purpose and applied to variety of NLP tasks, such as K...

The MXControl project aims to create a set of tools to extend and administrate the Chat-channels on the WinMX Peernetwork. Part of this projects are B...

< stpl > generates timetables for universities and high schools.

Math.NET aims to provide a self contained clean framework for symbolic mathematical (Computer Algebra System) and numerical/scientific computations, i...

The MXControl Greece is creates tools for WinMX p2p program to help greek users of WinMX a part of the MXControl Greece project is MXControl Simple Bo...

The DEX Operating system allows for the dynamic reconfiguration and customization of various system services using concepts found in extensible operat...