Explore projects

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Mirror for CI/CD purposes only.

N-body simulation using kernel independent Fast Multipole Method

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/.

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

cours de programmation objet INALCO - Master TAL première année

A set of commonly used widgets written using Qt5.

Implementing symbolic data structure numeric grounding

Sources of the Abstract Categorial Development toolkit.

Gathers technical materials to follow on what has been learnt and what is to be learnt

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

dtk-distributed provides all the mechanisms to perform distributed calculations.