Explore projects

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

Dépôt pour les TPs APD

This is a copy of the BuDDy library.

This repository hosts the different modules that will process CheneTAL corpora.

C++ implementation of the Factor Oracle structure

Standard Formalisms Library for CosyVerif

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)