Explore projects

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)