Explorer les projets

Partie 2

Notebooks for the machine learning workshop in Lyon in June 2023

wododo

dRep implementation to dereplicate a genome database

WCET Multicore Toolkit

DM n°1 du cours Modélisation et vérification des systèmes concurrents. Implémentation de système de transition, de proposition logique et d'un algorithme de vérification d'invariant.

DM n°1 of the course Modeling and verification of concurrent systems. Implementation of transition system, logical proposition and invariant verification algorithm.

Formation Git - Partie 2 : les forges logicielles

C++ framework for simple 1 vs 1 games