Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
-
-
GitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).
-
Guidelines, and walkthrough, for archiving and referencing software artifacts in Software Heritage
-
Benchmarks for different SEPI versions
-
Sources of the Abstract Categorial Development toolkit.
-
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
-
-
-
ARPE project by Pierre Guetschel, supervised by Théodore Papadopoulo and Michael Tangermann (Brain State Decoding Lab in Germany)
-
This repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.
-
-
Rhythm transcription based on parsing for weighted context-free grammars
-
The web interface for searching grew patterns in corpora
-
A library for constraint-based Hindley-Milner type inference.
-
-
Documents L3 Mcal-MT
