Explore projects

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

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Official repository for the CROCO model

The MorphoNet Unity git

A library to build experimental frameworks on multiple platforms

MorphoNet Python API

Verifiable online voting system http://www.belenios.org

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms