Explore projects

MoReFEM core library.

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

WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.

a scalable collaborative document editor with CRDT, P2P and E2EE · mute.loria.fr

Pytorch implementation for CKN-seq

A fork of MATISSE's thesis template

Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local ("microscopic") simulation algorithms in a single framework. This is an unofficial version, extended to make Interaction Fields simulation run (see paper https://hal.inria.fr/hal-03642462/document). To sketch IF, please go to this git: https://gitlab.inria.fr/acolas/interactionfieldsgui