Explore projects
-
-
Updated
-
A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)
Updated -
Complete edge-to-cloud application use-case: distributed video processing
Updated -
Updated
-
Updated
-
-
Updated
-
IUA Simulator
Updated -
Updated
-
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.
Updated -
Updated
-
-
Updated
-
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.
Updated -
Perception Toolbox for Virtual Reality (PTVR) Researchers Project
Updated -
UpdatedUpdated