Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Automated Debian packages download, modification and upload to a local Reprepro repository
-
-
-
Version modifier de InternationHAL (http://igm.univ-mlv.fr/~gambette/ExtractionHAL/InternationHAL.php)
-
-
-
-
-
RDBG stands for Reactive programs DeBuGger.
Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
-
Avatar Official Site
-
Données et codes ayant permis les calculs durant le traçage au réseau Ded en avril 2022
-
-
-
Self-stabilizing Algorithms SimulAtor
-
Basic functions for OCaml codes
-
Dépôt pour les JRES 2021 ayant lieu à Marseille en mai 2022
-
ANR Architecture de Systèmes Complexes en Immersion Intelligente (ArchiTOOL)
-
-
This is a fork of https://github.com/QuentinFombaron/moodle-block_metadata_status