Explore projects
-
-
Updated
-
Gazelle / Public / Validation / X Validator Rule Editor
Apache License 2.0Admin GUI to edit X-Validator rules.
Updated -
Gazelle / Public / Validation / X Validation
Apache License 2.0Contextual validation of XML documents (test assertions across several documents).
Updated -
Updated
-
-
Updated
-
XFOR / xfor-clang
OtherVersion of the Clang compiler interface with the support for source files featuring the XFOR programming structure.
Updated -
-
Gazelle / Public / Simulation / XDStar Modules
Apache License 2.0Updated -
Gazelle / Public / Simulation / XDStar Client
Apache License 2.0Simulator of XD* client-actors, Validation service of XD* messages.
Updated -
Updated
-
LINE / wp_theme_cai
Creative Commons Attribution 3.0 UnportedThe https://cai.inria.fr/ child theme and plugin middleware
Updated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Updated
-
-
Wild-er / WildPlayer
BSD 3-Clause "New" or "Revised" LicenseDisplay (tiled) images on Cluster-Driven Ultra-high-resolution Wall Displays
Updated -
ILDA / wildmap
BSD 3-Clause "New" or "Revised" LicenseWeb-based map visualization on cluster-driven UHRWD.
Updated -
-
This project concerns the use of machine learning techniques to estimation Worst Case Execution Times (WCET), on architectures with caches.
Updated