Explore projects

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.