Explore projects

Binary analysis program. Looks at a CFG and analyzes its bits.

Website with:

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

Itauto: an Extensible Intuitionistic SAT Solver

Itauto: an Extensible Intuitionistic SAT Solver

Static analyzers for higher-order languages

Sanskrit linguistic resources under the Sanskrit Heritage Platform format

This platform gives tools to manipulate Sanskrit data

LibPFASST fork with support for dynamic resources

ADFG checks the scheduling feasibility of an Ultimately Cyclo-Static DataFlow (UCSDF) graph which represents a system of actors (or processes) and their dependencies (data production and consumption rates), aka channels between them.

Differential equations simulation representing Salmonella infection

Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.

Web site of the Guix-HPC effort.

Slides for a general formation about CI/CD in Inria context

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