Coq est un système de gestion de preuves formelles. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves formelles vérifiables par machine.

Coq est un système de gestion de preuves formelles. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par ordinateur.

Xeus-cling est un projet open source qui vise à fournir un environnement de développement C++ interactif et basé sur le navigateur. Il permet aux utilisateurs d'exécuter du code C++ directement dans un navigateur web, en bénéficiant d'une expérience de développement similaire à celle offerte par des langages tels que Python ou R. Grâce à son intégration avec Jupyter, xeus-cling peut être utilisé dans des workflows de recherche et de données, offrant ainsi de nouvelles possibilités pour l'utilisation de C++ dans ces domaines.

Ce projet vise à fournir une solution containerisée pour déployer facilement des outils numériques éducatifs, notamment ceux développés par La Digitale. Il permet aux enseignants et formateurs de créer des environnements interactifs et collaboratifs pour leurs élèves ou apprenants, sans nécessiter de compétences techniques avancées. L'objectif est de démocratiser l'accès à des ressources pédagogiques numériques adaptées aux besoins des utilisateurs.

Ce projet fournit des scripts d'initialisation pour configurer et personnaliser des services interactifs comme RStudio, VSCode ou Jupyter Notebooks sur la plateforme Onyxia. Il permet aux utilisateurs de déployer rapidement des environnements adaptés à leurs besoins analytiques ou de développement, en automatisant les étapes de configuration initiale via des scripts accessibles et modifiables.

Faustlsp est un serveur LSP (Language Server Protocol) dédié au langage de programmation Faust, utilisé principalement pour le traitement audio et la synthèse sonore. Il permet aux éditeurs de code comme VS Code, Neovim ou Emacs d'offrir des fonctionnalités avancées comme la complétion de code, la détection d'erreurs en temps réel, la documentation interactive et le formatage automatique. Ce projet vise à simplifier le développement d'applications audio en fournissant un outil d'assistance intelligent et intégré aux environnements de développement.

Le projet funcamp-r-dock est une image Docker qui orchestre tous les packages nécessaires pour exécuter learnr, shinyAce et les tutoriels R Markdown. Il facilite l'apprentissage du langage de programmation R en fournissant des tutoriels interactifs, offre un environnement de développement pour les applications Shiny et héberge des notebooks R Markdown.

OpenFLUID est un environnement logiciel pour la modélisation spatiale dans les paysages. Il représente explicitement les objets spatiaux et leurs interactions, et est conçu pour modéliser les dynamiques à différentes échelles spatiales et temporelles. Il fournit des fonctionnalités pour le développement et l'intégration de codes de simulation, le couplage de modèles, la paramétrisation et l'exécution de simulations. Il s'agit également d'un framework collaboratif pour la capitalisation et le partage des codes sources des modèles.

Ce site public fournit des statistiques et des outils de visualisation pour suivre les enjeux environnementaux et climatiques en Auvergne-Rhône-Alpes. Il permet d'accéder à des données régionales, départementales et locales sur l'énergie, le climat, les transports, le foncier et l'habitat. Les utilisateurs peuvent explorer des indicateurs de développement durable, consulter des rapports et utiliser des applications interactives pour analyser les tendances et évaluer l'impact des politiques publiques.

RegIPSL est un modèle régional du système Terre développé par l'IPSL (Institut Pierre-Simon Laplace). Il permet de coupler différents modèles de composantes environnementales (océan, atmosphère, surfaces continentales, etc.) pour simuler les interactions à l'échelle régionale. Basé sur les outils et méthodes du modèle global IPSL, il vise à étudier les impacts du changement climatique et des activités humaines sur des zones géographiques spécifiques, en fournissant des projections détaillées et des analyses scientifiques.