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.
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.
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.
Ocaml Plugin extends the NetBeans IDE with support for projects written in the Objective Caml language. It provides syntax highlighting, code completion, build-in documentation, support for OCaml projects with multiple source, test, and docs folders, support for multiple build systems, a sample project template, and an empty project wizard.
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.
SRESI is a smart bookmark manager. It currently sports both a command-line and a PHP interface. It works with both the standard hierarchical trees and the new and fashionable tagged bookmarks. It was developed as a way to interface both representation systems. SRESI can use Del.icio.us, Mozilla, Opera, and XBEL bookmarks, and handles a few more exports besides. Directories and tags are used equivalently, and the final hierarchies are inferred from actual tag use.