Previous week Up Next week


Here is the latest Caml Weekly News, for the week of November 22 to 29, 2011.

  1. Game Theory Library
  2. New GADT iteration
  3. PlasmaFS, PlasmaKV, and MapReduce, version 0.5.1
  4. Other Caml News

Game Theory Library


Abdallah Saffidine asked and Ashish Agarwal replied:
> I am looking for a library implementing Game Theory algorithms. I am
> specifically interested in solving zero-sum twpo-player normal form
> games (that is, finding the value of Nash equilibria in matrix
> games). In this setting, we can use linear programming to find the
> strategies in time polynomial in the size of the matrix.
> Have you seeing any ocaml library for game theory? or if I need to
> implement it myself, which linear programming library would you
> recommend? (If there is any other than ocaml-gplk which comes first in
> google, that is)

We did not write any bindings directly to linear programming
libraries, but do have an AST and an embedded DSL for writing LPs in
OCaml along with some code generation to output in AMPL format. Paper
and code are available here:

New GADT iteration


Continuing this old thread, Jacques Garrigue announced:
The new branch has now been merged in trunk, all ready for the next version 
of OCaml.

Big thanks to Jeremy Yallop for finding many bugs.
But you still have your chance to find more :-)

PlasmaFS, PlasmaKV, and MapReduce, version 0.5.1


Gerd Stolpmann announced:
I've just released Plasma-0.5.1, fixing a possible lock-up.

General information about Plasma:

Plasma consists now of three parts, namely PlasmaFS, PlasmaKV, and Plasma

      * PlasmaFS is a distributed replicating filesystem. Unlike other
        such filesystems, it is transactional and exhibits transactions
        to the user. Also, it implements almost all of what is known as
        POSIX semantics, and it is mountable.
      * PlasmaKV is a key/value database on top of PlasmaFS. It is
        designed for ultra-high read workloads, and offers interesting
        properties borrowed from PlasmaFS (e.g. replication and ACID
      * Plasma Map/reduce implements a variant of the popular
        data processing scheme.

All pieces of software are bundled together in one download. The
project page with further links is

There is now also a homepage at

THIS IS NOW A BETA RELEASE! I'm searching for testers. Whoever has
access to a cluster please check Plasma out!

Plasma is installable via GODI for Ocaml 3.12.

For discussions on specifics of Plasma there is a separate mailing list:
Goswin von Brederlow asked and Gerd Stolpmann replied:
> Any plans to support fuse so the filesystem can be mounted locally?

You can already do this via NFS (V3). This is only a mild additional
overhead, and the Linux NFS client supports bigger blocksizes than fuse
(1M vs. 128K).

Fuse is on my list but low priority for now.

Other Caml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at

ocamlbuild stubs and dynamic libraries:

CamlDBM: binding to NDBM/GDBM databases:

OCamlnat 0.1.0:

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt