Outil d'édition de code source intégré à l'écosystème Onyxia, permettant aux développeurs de modifier, visualiser et collaborer sur des fichiers techniques directement depuis leur navigateur. Facilite l'intégration dans des workflows de développement et supporte plusieurs langages de programmation pour une utilisation polyvalente.

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.

Opam est un gestionnaire de paquets source pour le langage de programmation OCaml. Il supporte plusieurs installations de compilateurs simultanées, des contraintes flexibles de paquets et un workflow de développement Git-friendly.

JuPylates est un moteur d'exercices basé sur Jupyter conçu pour faciliter l'entraînement et l'évaluation des apprenants. Il permet aux enseignants de créer des exercices interactifs et adaptatifs, intégrant des fonctionnalités de répétition espacée et d'apprentissage personnalisé. Le système s'intègre facilement dans les environnements pédagogiques existants et supporte plusieurs langages de programmation, offrant ainsi une solution flexible et modulaire pour l'enseignement et l'apprentissage.