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
-
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 -
-
-
Updated
-
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated