Mentions légales du service
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
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
GitLab mirror of https://github.com/math-comp/math-comp
Music transcription framework based on parsing for weighted regular tree grammars
A complement to OCaml's Seq.
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Ocsigen based web-server for interaction with Arborator
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)