Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.
Generally, mod_ocaml is a flexible apache module for use of INRIA's powerful OCAML interpreter as a Web scripting language (with functional and imperative features). Simply embed OCAML code between HTML on your pages, like you do with PHP, mod_perl, etc. After modifying some settings, you can use almost any interpreter for providing dynamic content on your HTML pages.
SKS (Synchronizing Key Server) is a full-featured replacement for the standard PKS OpenPGP Key Server. It matches all of PKS features and interfaces, and at the same time provides a highly efficient, gossip-based replication algorithm that ensures that the replication is complete.
Cameleon is an integrated development environment for Objective Caml and eventually other languages. Its features include a graphical user interface, configuration management based on CVS, easy access to and browsing of documentation, various editors, customizable file types, a plug-in architecture, and a highly customizable interface.
Hamilcar is an XML application server inspired by Apache Cocoon for Objective Caml, using the Yaxi library. It is designed around the concept of a pipeline that is traversed during the processing of a request with control structures embedded in XML tags directing the process according to various criteria.
CamlTemplate is a library for generating text from templates in Objective Caml. It can be used to generate Web pages, scripts, SQL queries, XML documents, and other sorts of text files. It provides a versatile, easy-to-learn template syntax that supports common scripting-language constructs, while encouraging a separation between presentation logic and application logic. The supported Caml data structures accomodate lists, tables, and trees of items in a straightforward manner. CamlTemplate works well with mod_caml and mod_fastcgi, supports any ASCII-compatible encoding, including UTF-8, and includes optional support for multithreading.
PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. Formally, it is an interpreter of a language itself designed to define languages, where to interpret means executing a source program in real time and eventually outputting its result. Here, a source program is a grammar definition. The execution consists of the exploration of such grammar by selecting a random path, and the result is the sentence built on the way.