Explore projects
-
Containerized documentation of customer environments
Updated -
-
synchrone / Heptagon
GNU General Public License v3.0 onlyHeptagon 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).
Updated -
SCHERER Gabriel / Heptagon
GNU General Public License v3.0 onlyHeptagon 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).
Updated -
Updated
-
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 -
Updated
-
LIONTI Fabien / Manuscrit_these
Creative Commons Zero v1.0 UniversalUpdated -
Updated
-
CAPSULE / ascon-new-models
MIT LicenseCode for the paper "New Models for the Cryptanalysis of ASCON" by Mathieu Degré, Patrick Derbez, Lucie Lahaye and André Schrottenloher.
Updated -
-
-
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
-
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
Updated