Explore projects

Official repository for the CROCO model

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

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

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

TimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modellers and computer scientists.

The library offers an array of tools for image enhancement, transformation, and feature extraction. From mathematical morphology to filtering algorithms and peak detection, they refine image data and assist in critical processing workflows for various analysis needs.

https://mosaic.gitlabpages.inria.fr/timagetk

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

PM2: Parallel Multithread Machine (source code)

Mirror for CI/CD purposes only.

The meta repository for building OpenViBE

Dense linear algebra subroutines for heterogeneous and distributed architectures