Explore projects
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Neven Villani / Solver for Parameterized Coverability
CeCILL-B Free Software License AgreementUpdated -
MecaIceIGE / Tools / utils
GNU Affero General Public License v3.0Updated -
Elan Littératures et Arts Numériques / Methodus / traites
GNU General Public License v3.0 or laterUpdated -
Updated
-
Baptiste Jonglez / multipathsim
CeCILL-B Free Software License AgreementMultipath scheduling simulator
Updated -
Updated
-
Application des méthodes d'analyse de sensibilité à un simulateur d'écosystème marin dépendant de 85 paramètres.
UpdatedUpdated -
ecoinfo / anf_2021
GNU General Public License v3.0 or laterDépot commun pour l'ANF 2021 EcoInfo “Impact environnemental du numérique : comprendre et agir https://ecoinfo.cnrs.fr/2020/06/23/formation-2020-impact-environnemental-du-numerique-comprendre-et-agir/
Updated -
Simon Clement / Stochastic Grid Perturbation
MIT LicenseImplementation of a Stochastic Grid Perturbation (SGP) method in a QG model written with PyTorch.
Updated -
Albanne Lecointre / iworms
GNU General Public License v3.0 or laterLes objectifs de ce projet interdisciplinaire sont (1) de mettre en œuvre une nouvelle méthode de correction de la datation basée sur l’inter-corrélation de bruit sismique ambiant (2) d’appliquer ce traitement à des flux continus de données.
Updated -
Thomas Lavocat / yggdrasil-integration
GNU General Public License v3.0 onlyTests de non régression d'Yggdrasil
Updated -
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG stands for Reactive programs DeBuGger.
Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
Updated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated