Explore projects
-
GUILLEVIC Aurore / NFS lectures
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Thierry Martinez / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Code for the paper "New Models for the Cryptanalysis of ASCON" by Mathieu Degré, Patrick Derbez, Lucie Lahaye and André Schrottenloher.
Updated -
Materials for exa2pro workshop. https://indico.math.cnrs.fr/event/6415/contributions/4982/
Updated -
This platform gives tools to manipulate Sanskrit data
Updated -
hol-light-isabelle / hol-light
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
How to use Org mode and Guix to build a reproducible experimental study
Updated -
Minimal working example of an experimental study
Updated -
Diaporama pour la rencontre sur les logiciels libres de recherche
UpdatedUpdated