Explore projects
-
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
-
Updated
-
-
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Containerized documentation of customer environments
Updated -
-
-
Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups
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 -
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -