OCaml-LSP est un serveur de langage pour OCaml qui implémente le protocole Language Server Protocol (LSP). Il offre des fonctionnalités telles que la coloration syntaxique, la complétion de code, l'analyse de code en temps réel et la résolution de types.

Lambdapi est un assistant de preuve basé sur le λΠ-calcul modulo réécriture, offrant des interfaces utilisateur pour Emacs et VSCode. Il permet de certifier des preuves pour différents systèmes de preuve, tels que TLAPS, Atelier B, Rodin, LISA, et Why3.

Une collection d'images Docker pour des services de datascience prêts à l'emploi, conçue pour fonctionner avec l'écosystème Onyxia.

The faust-vsc-extension project provides a Visual Studio Code extension for the Faust programming language, offering syntax highlighting, autocompletion, and debugging assistance to facilitate Faust development within the Visual Studio Code environment.

Ce projet est un modèle de présentation LaTeX conçu pour les membres du modélab. Il permet de créer et de personnaliser des présentations en éditant le fichier principal main.tex et en ajoutant des diapositives et/ou sections.

Le projet theia-ecore-editor est un éditeur d'arborescences de données réfléchissant pour Theia, basé sur ModelServer. Il permet la visualisation et l'édition de modèles métiers.

Logiciel web permettant de gérer et fournir des données astronomiques accessibles via une base de données. Il permet l'authentification et le contrôle d'accès aux données.

Le projet BUT_TPGestionVersion_CLAUDE est une plateforme dédiée à la gestion des versions logicielles et au suivi de projets de développement. Il permet aux équipes de développeurs de collaborer efficacement en offrant des fonctionnalités telles que la création et la gestion de versions, le suivi des tâches et des bogues, et le partage de fichiers.

Image Docker basée sur docker-code-server, avec des outils supplémentaires pour le développement C/C++, tels que g++, gcc, clang++, clangd, gdb, lldb, CMake, Boost, GMP, OneTBB, Valgrind et GoogleTest.

Le projet docker-openvscode-server vise à fournir un environnement de développement intégré (IDE) basé sur Visual Studio Code, hébergé dans un conteneur Docker. Il permet de simplifier l'installation et la mise à jour des outils de développement, et offre la possibilité de partager et synchroniser des fichiers de projet via Nextcloud.