Explore projects
-
BEN AMOR Slim / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
Matériaux pour le TP de IP1-Python à Paris Diderot en année universitaire 2019-20.
Updated -
Updated
-
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics
Updated -
Updated
-
Updated
-
A version of TsunamiLab running on cluster-driven wall displays.
Updated -
Updated
-
PerCom2018 article and presentation: "Sprinker: a probabilistic dissemination protocol to provide fluid user interaction in multi-device ecosystems" (https://hal.inria.fr/hal-01704172v2)
Updated -
Phd thesis template for the UBL MathSTIC doctoral school:
https://ed-mathstic.u-bretagneloire.fr/fr/8_soutenance-de-these
Updated