Explore projects

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