Explore projects

Library for tokamak meshing

Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.

KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.

Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes

A simple HTML project to demonstrate gitlab pages functionnality

Energy consumption of different implementations of python

Online tutorial for the paper: "Can we monitor all multithreaded programs?"

dtk is a meta-platform for modular scientific platform development.

Grain 3.0 : méthodes de tri