Multi-ML est un langage de programmation fonctionnel conçu pour implémenter des algorithmes Multi-BSP au-dessus d'OCaml. Il combine l'abstraction élevée des langages ML avec les performances prévisibles et scalables du modèle multi-BSP, permettant de représenter des architectures hiérarchiques imbriquées pour des calculs parallèles optimisés.