MLdonkey is a multi-platform, multi-network peer-to-peer client. It supports several large networks such as eDonkey, Overnet, Kademlia, Bittorrent, Gnutella (Bearshare, Limewire, etc.), Gnutella2 (Shareaza), or Fasttrack (Kazaa, Imesh, Grobster). Networks can be enabled or disabled. Searches are performed in parallel on all enabled networks. For some networks, each file can be downloaded from multiple clients concurrently.
GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.
demexp is a client/server system for direct democracies. It makes it possible to ask questions in the system, add new answers to those questions, and vote on proposed answers. The voting procedure used is Condorcet voting. Questions are classified, and a delegation system allows one's vote for certain questions to be assigned to a chosen delegate. The software is tailored to the needs of the Democratic Experience project.
Zero Install is a decentralized cross-distribution software installation system. It allows software developers to publish programs directly from their own Web sites, while supporting features familiar from centralized distribution repositories such as shared libraries, automatic updates, and digital signatures. It is intended to complement, rather than replace, the operating system's package management. 0install packages never interfere with those provided by the distribution.
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0, and 2.1, plus extensions. It is intended as a compact drop-in binding. It is a direct, dynamic binding to OpenGL. An OCaml SDL binding is provided as well, along with texture-map scaling functions, texture mip-map generators, and a bitmapped font library. Extensive documentation and more than 20 examples are provided.
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.