The Multi-ML language is a language for programming Multi-BSP algorithms in ML. Multi-BSP is a hierarchical extension of BSP. And so Multi-ML extends BSML for Multi-BSP programming.

More details in the Multi-ML web page

The BSMLlib library is a functional programming library for the Objective Caml language for direct-mode BSP (Bulk Synchronous Parallel) algorithms. It has been developped as part of our research program to investigate paradigms for functional parallel programming as special cases of standard semantics. The underlying assumption is that (efficient) parallel algorithms are special cases of (efficient) sequential algorithms and that using concurrent extensions of sequential languages to express them is both useless and harmful.

More details in the Bsmllib's pages

The MSPML library is a functional programming library for the Objective Caml  language for minimally synchronous parallel algorithms. It has been developped as part of our research program to investigate paradigms for functional parallel programming as special cases of standard semantics. The underlying assumption is that (efficient) parallel algorithms are special cases of (efficient) sequential algorithms and that using concurrent extensions of sequential languages to express them is both useless and harmful.

More details in the Mspml's pages

A functional data-parallel language, called BSML have been designed for programming bulk-synchronous parallel (BSP) algorithms, a model of computing. The execution time can then be estimated and dead-locks and indeterminism are avoided. For large scale applications, more than one parallel machine is needed. One speaks about metacomputing. The DMML project aims at the design (with formal semantics), implementation (using the Madeleine library) of an extension of ML (more precisely of a library for Objective Caml) for departmental metacomputing.

More details in the Dmmllib's pages

The Bsmllib library is a functional programming library for the Objective Caml language for direct-mode BSP (Bulk Synchronous Parallel) algorithms. We have formalized the BSML's primitives in the Coq proof assistant and thus developped a certified implementation of a part of the standard library of the Bsmllib.

Implementation and more details here