Mentions légales du service
Raspberry Pi OS builder
A Coq formalization of real analysis compatible with the standard library.
running docker-compose in CI job
Command-line for ci.inria.fr.
Simple example of a docker-in-docker project launched on the shared runners with good practices.
present is a combo of pandoc, reveal.js and mermaid. js to help to make beautiful and efficient presentations.
M2 TAL & M2 SC