Explore projects

Mirror for CI/CD purposes only.

ProVerif symbolic protocol verifier

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

Tools to check the accuracy of mathematical functions

Web site of the Guix-HPC effort.

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

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.

A fork of MATISSE's thesis template

Containerized documentation of customer environments