Explore projects
-
Updated
-
PRUVOST Florent / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Updated
-
math-comp / docker-mathcomp
BSD 3-Clause "New" or "Revised" LicenseGitLab mirror of https://github.com/math-comp/docker-mathcomp
UpdatedUpdated -
OAR / oar3-plugin-dyn-rm
OtherUpdated -
-
PAPERMAN Charles / vizibridge
MIT LicenseUpdated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
Romain Garbage / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
Gözükan Hande / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
-
Updated
-
Updated
-
-
-
-
PTVR_Public / PTVR_Researchers
GNU General Public License v3.0 or laterPerception Toolbox for Virtual Reality (PTVR) Researchers Project
Updated