GitLab

N-body simulation using kernel independent Fast Multipole Method

A Unified Runtime System for Heterogeneous Multicore Architectures

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

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

Une page qui rassemble la documentation publique sur et pour le projet LECTAUREP

The OpenViBE extras: Acquisition Server, demos, plugin contributions

Note : La publication de l'intégralité du code source de l’application mobile sous Android fait apparaitre des écrans et des textes qui évolueront au cours des jours qui viennent, en amont de tout déploiement éventuel (cd accueil/ README.md)

A project providing digital recognition of handwritten documents using machine learning techniques.

Example of a controller using a QP at the torque level

Data Processing for Cartolabe

Regroupe toutes les ressources du Mooc : Fiches concept, fiches pédagogiques, ... https://learninglab.gitlabpages.inria.fr/mooc-impacts-num/mooc-impacts-num-ressources

An LR(1) parser generator for OCaml.

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.