Explore projects
-
Updated
-
-
Updated
-
Updated
-
Updated
-
-
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated -
Project for StarPU website
Updated -
Generating seminar of IDIA/FCS website https://bournez.gitlabpages.inria.fr/seminar-IDIA-FCS
Updated -
Fed-BioMed moved to https://github.com/fedbiomed/fedbiomed
A federated learning framework for empowering biomedical research
Updated -
Static analyzers for higher-order languages
Updated -
-
Updated
-
Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Verifiable online voting system http://www.belenios.org
Updated -
Updated
-
Updated
-
This platform gives tools to manipulate Sanskrit data
Updated