Explore projects

Project moved to https://gitlab.com/ed-matisse/latex-template.

Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.

Example of a controller using a QP at the torque level

Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.

New version: https://github.com/flowersteam/social-ai

This project aims to create baselines and environments containing NPCs. NPCs are usefull because they enable us to study simple social interactions and "intertwined" multi-modal actions and observations.

Portage en Python3 à partir de Vensim du modèle World3-2003 (révision de 2005).

This repository proposes python bindings of C++ functions to approximate any multiparameter persistence module with an interval decomposable multipersistence module.

PoC at creating a VSCode extension providing an Elpi Inspector

Toolbox of some nonnegative facorization (NMF, PARAFAC, PARAFAC2, ...) based on HALS and NNLS resolution.

This is the old repository for openwind

suite sur : https://gitlab.inria.fr/dh-projects/kraken-models LECTAUREP's trained models and their documentation.

Separation Logic with Characteristic Formulae Entirely within Coq

Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.

OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)

Pour les sessions du coding-dojo d’Inria de Paris