Explore projects
-
A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
-
-
Updated
-
A library to build experimental frameworks on multiple platforms
Updated -
Updated
-
Updated
-
-
-
Updated
-
Updated
-
Updated
-
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated