Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.
-
-
Resources for course MPRI 2-4 on functional programming and type systems.
-
Python API and schedulers for Batsim
-
-
-
This platform gives tools to manipulate Sanskrit data
-
IceSL documentation wiki
-
-
Binary analysis program. Looks at a CFG and analyzes its bits.
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
Ocaml library for grew
-
-
Repo related to the Machine Learning class in the Physics of Complex Systems (PCS) Master program.
-
-
hampath