Bibliothèque OCaml permettant la programmation concurrente en décrivant les comportements causaux des programmes. Elle offre une interface modulaire et haut niveau pour décrire les semantiques causales de langages de programmation, tout en conservant une saveur opérationnelle. Elle supporte les calculs concurrents et non déterministes, et propose plusieurs implémentations des opérations monadiques qui exécutent le programme de manière séquentielle et déterministe, en retournant tous les comportements possibles.

Ce projet propose une sémantique formelle pour le langage de programmation Erlang, axée sur l'ordre des messages et la gestion des signaux. Il vise à simplifier la représentation du parallélisme et de la concurrence, tout en offrant une modélisation des comportements de surveillance et de gestion des exceptions. Les fonctionnalités telles que la création dynamique de processus, la représentation du temps continu ou la mise à jour dynamique du code ne sont pas prises en charge.

Le projet cosmo vise à améliorer la correction et les performances des programmes multithreadés en utilisant une logique de séparation concurrente pour le langage OCaml.

Dépôt contenant des feuilles Jupyter pour le cours «Programmation pour les Géosciences» donné aux étudiants de L3 en géosciences à la Faculté des Sciences d'Orsay.