Explore projects
-
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated
-
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated -
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -
-
Updated
-
Updated
-
Updated
-
learninglab / epoc / epoc-mobile
CeCILL-B Free Software License AgreementUpdated -
Gazelle / Public / Simulation / XDStar Client
Apache License 2.0Simulator of XD* client-actors, Validation service of XD* messages.
Updated -
Gazelle / Public / Simulation / Simulator Parent
Apache License 2.0Parent bom for Gazelle simulators
Updated -
Updated
-
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay
Updated -
-
-
-
-
Updated