Explore projects

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

Python wrappers for the vt library

An unstructured collection of Jasmin programs, of unknown quality, meant for illustration.

Deep Neural Architecture for DNA.

Mirror for CI/CD only

ProVerif symbolic protocol verifier

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.