Explore projects
-
Updated
-
Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups
Updated -
-
bureaux / plan
GNU General Public License v3.0 or laterUpdated -
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 -
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
Updated
-
Updated
-
Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.
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 -
-
-
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated -
Updated
-
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses
UpdatedUpdated