Explore projects

Separation Logic with Characteristic Formulae Entirely within Coq

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).

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

megaraid_sas linux driver, out-of-tree module source

Experimental Testbed Distributed Monitoring Framework

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

Test command-line applications through .should files

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