Explore projects
-
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated -
-
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
coccinelle / 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 -
Containerized documentation of customer environments
Updated -
-
Jens Gustedt / Modern C
MIT LicenseUpdated -
-
-
-
Updated
-
-
-