Explore projects
-
-
-
-
-
This project aims to automatically generate documents for the « Politique de Sécurité des Systèmes d'Information » (IT security policy).
Updated -
The report of my internship done in 2021, supervised by Ludovic Henrio and Yannick Zakowsky. It was about implementing a bisimulation parametrized by an equational theory on interaction trees.
Updated -
Updated
-
DE SOUZA Corentin / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Updated
-
PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.
Updated -
-
VERGNET Fabien / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
Updated
-
-
Updated
-
DYnamiC non-volaTile memOry maNagement for embedded systems.
simulation platform and instrumentation scripts
Updated -
Documentation for ADT ICOV (separated from source code repositories to have its own history)
Updated -
Former repository for the DBL LaTeX thesis template. Moved to: https://gitlab.inria.fr/ed-mathstic/latex-template.
Updated