Explore projects
-
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
Updated
-
Material for developer meetups. https://sed-paris.gitlabpages.inria.fr/developer-meetups
Updated -
-
bureaux / plan
GNU General Public License v3.0 or laterUpdated -
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