Explore projects

Fos-R is a synthetic network traffic generator based on AI models. Can generate Gbps of high-quality network traffic on a laptop. No GPU required.

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

A library to build experimental frameworks on multiple platforms

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

Mirror for CI/CD purposes only.

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

MorphoNet Python API

Official repository for the CROCO model

Builds multi-language packages and related documentation

PM2: Parallel Multithread Machine (source code)

Javascript and C/C++ server side node express utilities for web applications and services

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

A Unified Runtime System for Heterogeneous Multicore Architectures.

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