Explore projects
-
Updated
-
Updated
-
Updated
-
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
Updated
-
XIA Li-Yao / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
solverstack / inria-org-html-themes
GNU General Public License v3.0 or laterOrg mode HTML export template(s) with the corporate identity of Inria
Updated -
BURING Ricardo Thomas / expand-n-contract
MIT LicenseUpdated -
Updated
-
SHIN Sungbok / parcoursvis
BSD 2-Clause "Simplified" LicenseVisualization for CNAM Parcours de Santé.
Updated -
Thierry Martinez / menues_depenses
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
DAVOLI Davide / Comprehensive Kernel Safety in the Spectre Era
Apache License 2.0Updated -
Updated
-
Updated