Explore projects
-
Updated
-
Updated
-
Updated
-
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
GILBERT Gaëtan / coq
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Philippe Virouleau / guix-cafe-packager
GNU General Public License v3.0 or laterUpdated -
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