Explore projects
-
Updated
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Updated
-
N-body simulation using kernel independent Fast Multipole Method
Updated -
Updated
-
This is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.
Updated -
Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.
Updated -
Updated
-
cours de programmation objet INALCO - Master TAL première année
Updated -
-
-
-
Updated
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
dtk-distributed provides all the mechanisms to perform distributed calculations.
Updated