Explore projects

Headwork project

Website with:

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

Project for StarPU website

Itauto: an Extensible Intuitionistic SAT Solver

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

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

Web-based scalable visualization fo large document collections

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