Explore projects
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
-
Gabarits / LaTeX beamer 2024
BSD 3-Clause "New" or "Revised" LicenseGabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
-
Updated
-
biodiversiton / Disseq
GNU General Public License v3.0 or laterThis package has been developed for computing exact distances, without heuristics, between all pairs of reads of a NGS sample. This is a first step for supervised or unsupervised clustering of reads in an environmental sample.
Updated -
Updated
-
Updated
-
Updated
-
-
-
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
Updated
-
-
Updated
-
TAMDRARI Nina / latex-template
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
-
-
Updated