Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Modified version of QEMU for teaching (M2 SETI Embedded Linux, SE758 Linux Device Drivers...).
Updated -
simple python script to convert Synapses csv schedules to ics calendars.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
SAR Image Despeckling by Deep Neural Networks: from a pre-trained model to an end-to-end training strategy - Notebook implementation usable on Google Colaboratory
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
This project contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).
Updated -
A toy example project showing how GitLab CI can be used for teaching
Updated -
-
Updated
-
RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.
Updated