BSML-Multicore est une extension parallèle pour le langage OCaml, intégrant le modèle de parallélisme BSP (Bulk Synchronous Parallelism). Ce projet permet aux développeurs d'exploiter explicitement le parallélisme via des primitives dédiées, facilitant ainsi la création d'applications performantes et scalables. Il repose sur une implémentation multicœur d'OCaml et propose des outils pour modéliser et valider les sémantiques parallèles.