Mentions légales du service
GitLab mirror of https://github.com/math-comp/math-comp
SParse Matrix Package
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
A library to build experimental frameworks on multiple platforms
Mirror for CI/CD purposes only.
Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
The meta repository for building OpenViBE
Miscellaneous files for the GNU MPFR group: web site, etc.
Python Semantics in Skel
Python wrappers for the vt library
Web site of the Guix-HPC effort.