Explore projects

Verifiable online voting system http://www.belenios.org

Mirror for CI/CD only

GitLab mirror of https://github.com/math-comp/math-comp

Mirror for CI/CD purposes only.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Newton direct and Inverse Computation for Equilibrium

Doxygen doc https://blfauger.gitlabpages.inria.fr/nice

Reference manuel for the Skel language and the necro ecosystem

A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)

GNU Guix packages of non-free HPC software, or free software depending on non-free software.