Explore projects

Headwork project

PlaFRIM user documentation

Website with:

the list of group meetings names of members resources for students (summer schools, conferences, scholarships)

Project for StarPU website

Generating seminar of IDIA/FCS website https://bournez.gitlabpages.inria.fr/seminar-IDIA-FCS

Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed

A federated learning framework for empowering biomedical research

Static analyzers for higher-order languages

Dynamic bipartite graph library in javascript

Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Verifiable online voting system http://www.belenios.org

This platform gives tools to manipulate Sanskrit data