Explore projects

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

A Coq formalization of real analysis compatible with the standard library.

Shallow Water Equation Environment for Tests, Awesome!