Explore projects

Git repo for https://www.grid5000.fr/w/BigData_hands-on_tutorial

Separation Logic with Characteristic Formulae Entirely within Coq

Nix expressions for the datamove team

Linux dkms packages for intel i40e OOT driver

Experimental Testbed Distributed Monitoring Framework

megaraid_sas linux driver, out-of-tree module source

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

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

Test command-line applications through .should files

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.