GitLab

Code source de l'application mobile iOS

SParse Matrix Package

Guide pratique prénom d'usage et civilité à Inria

Ecodiag is an ecoinfo's web tool to evaluate GHG emissions related to IT devices.

A distributed database service for the Concordant platform.

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.

Web-based scalable visualization fo large document collections

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

slu-eval provide all metrics usefull for Slot Filling Task in Spoken Language Understanding systems

a testing project for using dx to transform exam_rbpf in Coq to C

Site to manage, join and create groups for socialbus

Code source de l'application mobile Android

Tools to check the accuracy of mathematical functions