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.

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.

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.

Image Docker offrant un environnement de développement C/C++ complet, incluant des compilateurs, débogueurs, outils d'analyse de performance, et bibliothèques populaires.

Formation URFIST Lyon de 6h sur l'utilisation de Git et Gitlab, avec présentation des outils de développement tels que VSCode, terminaux et éditeurs de texte. La formation inclut également la création de comptes sur la plateforme Gitlab de l'UGA.

LoRaSCAN is a mobile application available on Android and iOS that reads LoRaWAN QR codes and automatically registers them on LoRaWAN network operators, following the TR005 LoRaWAN Device Identification QR Codes specification. It currently supports The Things Network, Campus IoT, and Helium networks.

Notebook-vscode est un projet open source qui vise à fournir un environnement de développement intégré pour Jupyter Notebooks, en intégrant des fonctionnalités de Visual Studio Code. Il permet aux développeurs de bénéficier d'un environnement de développement complet pour l'écriture et l'exécution de code Python dans un environnement web.