Explore projects
-
Updated
-
CertiCompil / Velus
OtherUpdated -
-
Manage material so 2021 vltischool's students get the better support for practices sessions
Updated -
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 -
NSBAS / FFTW
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated
-
Hough et al. (2021): PM model across France.
This repository is a mirror of https://gitlab.com/EEA-LAB/P063.FR.PM
Updated -
Hough et al. (2020): air temperature model across France.
This repository is a mirror of https://gitlab.com/EEA-LAB/P055.FR.Ta
Updated -
Updated
-
-
-
Updated
-
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
Updated
-
Design and run SEM46 simulations in synthetic models based on simple geometries or on real case studies (e.g. Marathon, Kilauea, Dublin basin).
Francois Lavoue, 21 May 2019
Last updated FL, 13 Nov 2020
Updated -
Updated
-
legi / soft / trokata / klask
GNU General Public License v2.0 or laterOutil dédié à la cartographie du réseau local
Updated -
This is the repository of the corpus generator developed during the VOCADOM project founded by the French National Research Agency (Agence Nationale de la Recherche) / ANR-16-CE33-0006.
Updated