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.

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.

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.

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.

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.

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.