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

gitlab.inria.fr / formations 9 Dépôts

Formations SED

formations/docker/handsondocker

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

dernière synchronisation: il y a plus d'un an - étoiles: 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.

dernière synchronisation: il y a plus d'un an - étoiles: 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

dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 0

formations/integrationcontinue/gitlabciworkshop

dernière synchronisation: il y a plus d'un an - enregistré: il y a presque 2 ans - étoiles: 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).

dernière synchronisation: il y a plus d'un an - étoiles: 1

formations/markdown/Markdown

dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 1

formations/ocaml/introduction-au-langage-ocaml

dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 0

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

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

dernière synchronisation: il y a plus d'un an - étoiles: 1 - forks: 0

formations/cmake

dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 0