Explore projects
-
-
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Updated -
-
HCL / DeCovA
GNU General Public License v3.0 onlyUpdated -
HCL / Svagga
OtherUpdated -
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
-
skeletons / Necro
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
CHEVILLARD Sylvain / git2cl
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
almanach / Alexina / enlex-emg
GNU General Public License v2.0 or laterUpdated -
almanach / Alexina / soralex
Lesser General Public License For Linguistic ResourcesUpdated -
Updated