Explore projects
-
Updated
-
This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/
Updated -
-
ICI / website
Creative Commons Attribution 3.0 UnportedUpdated -
Updated
-
This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/
Updated -
-
Updated
-
Gazelle / Public / Simulation / Webservice Tester
Apache License 2.0Automated web-service tests, described as SoapUI projects.
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
-
sed-rennes / overleaf / web
GNU Affero General Public License v3.0web frontend for overleaf
Updated -
Updated
-
Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll
Updated -
Test of Virtual Reality functions in javascript using Three.js API based on existent example.
UpdatedUpdated -