Explore projects

How to use Org mode and Guix to build a reproducible experimental study

Minimal working example of an experimental study

Diaporama pour la rencontre sur les logiciels libres de recherche

Codes used for numerical simulations of the equatorial modons in the thermal rotating shallow water model.

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses