Explore projects
-
Updated
-
LAMIAUX Thomas / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
AGULLO Emmanuel / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Matthieu Sozeau / Docker Keeper
MIT LicenseUpdated -
Updated
-
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
SLICES-RI / blueprints / post-5g / reference_implementation
BSD 3-Clause "New" or "Revised" LicenseUpdated -
PRUVOST Florent / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
OAR / oar3-plugin-dyn-rm
OtherUpdated -
Updated
-
Simple example of kaniko usage. Keywords: docker, matrix, kaniko
Updated -
Updated
-
MOUTON Margaux / vizibridge
MIT LicenseUpdated -
Updated
-
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
MARAIT Gilles / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated