Explore projects

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

Complete edge-to-cloud application use-case: distributed video processing

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

IUA Simulator

Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.

Extensions of GNU Guix for high-performance computing.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Perception Toolbox for Virtual Reality (PTVR) Researchers Project