Explore projects

Mirror for CI/CD purposes only.

LibPFASST fork with support for dynamic resources

GitLab mirror of https://github.com/math-comp/math-comp

Web site of the Guix-HPC effort.

Website with:

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

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

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

Gitlab for the course Foundational Principles of Machine Learning (FPML) in the CS Masters (M1 year), in the track Artificial Intelligence of the Paris Saclay University

Containerized documentation of customer environments

Itauto: an Extensible Intuitionistic SAT Solver

Itauto: an Extensible Intuitionistic SAT Solver

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