Explore projects

ProVerif symbolic protocol verifier

Mirror for CI/CD purposes only.

A fork of MATISSE's thesis template

Tools to check the accuracy of mathematical functions

Web site of the Guix-HPC effort.

https://numpex-pc5.gitlabpages.inria.fr/tutorials

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.

The AIDE project software development bundle

Recurrent network weight tuning

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

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).