Explore projects

Mirror for CI/CD purposes only.

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

Python Semantics in Skel

Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups

Web site of the Guix-HPC effort.

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.

Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.

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

ProVerif symbolic protocol verifier

Website with:

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

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