An open API service providing repository metadata for many open source software ecosystems.

gitlab.inria.fr / formations 9 Repositories

Formations SED

formations/docker/handsondocker

An introduction level training course on Docker and Docker-compose.

Last synced at: 7 months ago - Stars: 3 - Forks: 4

formations/cpp/gettingstartedwithmoderncpp

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

Last synced at: 7 months ago - Stars: 10 - Forks: 7

formations/integrationcontinue/TutorielGpuPlafrim

Formation pour mettre en place l'intégration continue depuis la plateforme Inria ( https://ci.inria.fr ) en compilant sur la plateforme PlaFRIM ( https://www.plafrim.fr ) des projets pour GPU

Last synced at: 7 months ago - Stars: 0 - Forks: 0

formations/integrationcontinue/gitlabciworkshop

Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 15

formations/integrationcontinue/gitlabciintroduction

GitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).

Last synced at: 7 months ago - Stars: 1

formations/markdown/Markdown

Last synced at: 7 months ago - Stars: 0 - Forks: 1

formations/ocaml/introduction-au-langage-ocaml

Last synced at: 7 months ago - Stars: 0 - Forks: 0

formations/git-and-gitlab/git-example-tutorial

This repository is an example for "playing" with git commands for the Inria formation

Last synced at: 7 months ago - Stars: 1 - Forks: 0

formations/cmake

Last synced at: 7 months ago - Stars: 0 - Forks: 0