Explore projects

See new repository at: https://src.koda.cnrs.fr/eric.debreuve/obj.mpp

Guix Jupyter kernel

Separation Logic with Characteristic Formulae Entirely within Coq

This repository moved to https://framagit.org/simgrid/platform-calibration/

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.

Example of a controller using a QP at the joint velocity level

Voilà-based dashboard(s) for the NeuroQuery model

Test command-line applications through .should files

Small script for creating stats on a list of occupation titles.